Theorem fixedPoints_submonoid_sup

Modification history

2023-01-27 14:47

Mathlib/GroupTheory/GroupAction/FixingSubgroup.lean

feat: Port/GroupTheory.GroupAction.FixingSubgroup (#1868) …

Added fixedPoints_submonoid_sup View on Github →