Theorem smul_coe_set

Modification history

2023-12-09 09:17
Mathlib/GroupTheory/Subgroup/Pointwise.lean
refactor: Remove `leftCoset`/`rightCoset` (#8877) …
Added smul_coe_setView on Github →