Theorem Subgroup.mk_smul

Modification history

2023-11-14 03:24
Mathlib/GroupTheory/Subgroup/Actions.lean
feat: Simple `Subgroup` lemmas (#8341)
Added Subgroup.mk_smulView on Github →