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