Def Subgroup.subtype

Modification history

2023-04-09 22:44

Mathlib/GroupTheory/Subgroup/Basic.lean

feat: protect `Subgroup.subtype` (#3254) …

Deleted Subgroup.subtype View on Github →

2023-01-26 10:26

Mathlib/GroupTheory/Subgroup/Basic.lean

feat: port GroupTheory.Subgroup.Basic (#1797)

Added Subgroup.subtype View on Github →