Theorem Submonoid.mk_smul

Modification history

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