Def Subgroup.equivSmul

Modification history

2023-03-17 14:06

Mathlib/GroupTheory/Subgroup/Pointwise.lean

chore: tidy various files (#2950)

Deleted Subgroup.equivSmul View on Github →

2023-02-01 11:22

Mathlib/GroupTheory/Subgroup/Pointwise.lean

feat: port GroupTheory.Subgroup.Pointwise (#1981)

Added Subgroup.equivSmul View on Github →