Theorem Submonoid.mk_smul

Modification history

2025-01-27 01:57
Mathlib/Algebra/Group/Submonoid/MulAction.lean
chore(Algebra/Group/Submonoid/Operations): move instances to new file (#21067) …
Modified Submonoid.mk_smulView on Github →
2023-11-14 03:24
Mathlib/GroupTheory/Submonoid/Operations.lean
feat: Simple `Subgroup` lemmas (#8341)
Added Submonoid.mk_smulView on Github →