Def Subgroup.equivSMul

Modification history

2023-03-17 14:06
Mathlib/GroupTheory/Subgroup/Pointwise.lean
chore: tidy various files (#2950)
Added Subgroup.equivSMulView on Github →