Theorem Subgroup.smul_def

Modification history

2023-11-14 03:24

Mathlib/GroupTheory/Subgroup/Actions.lean

feat: Simple `Subgroup` lemmas (#8341)

Modified Subgroup.smul_def View on Github →

2023-01-26 13:42

Mathlib/GroupTheory/Subgroup/Actions.lean

feat: port GroupTheory.Subgroup.Actions (#1850)

Added Subgroup.smul_def View on Github →