Theorem Submonoid.smul_def

Modification history

2023-11-14 03:24
Mathlib/GroupTheory/Submonoid/Operations.lean
feat: Simple `Subgroup` lemmas (#8341)
Modified Submonoid.smul_defView on Github →
2023-01-03 16:00
Mathlib/GroupTheory/Submonoid/Operations.lean
feat: port GroupTheory.Submonoid.Operations (#1281) …
Added Submonoid.smul_defView on Github →