Theorem FixedPoints.addSubgroup_toAddSubmonoid
Modification history
2025-03-04 10:47
Mathlib/Algebra/Ring/Action/Submonoid.lean
chore(GroupTheory/GroupAction/Defs): don't import `DistribMulAction` (#22512) …
Modified FixedPoints.addSubgroup_toAddSubmonoidView on Github →