Def Subgroup.centerUnitsEquivUnitsCenter
Modification history
2025-03-03 13:51
Mathlib/Algebra/GroupWithZero/Action/Center.lean
chore: move `MulDistribMulAction` material earlier (#22121)
Modified Subgroup.centerUnitsEquivUnitsCenterView on Github →