Theorem fixingSubgroup_fixedPoints_gc

Modification history

2023-01-27 14:47

Mathlib/GroupTheory/GroupAction/FixingSubgroup.lean

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

Added fixingSubgroup_fixedPoints_gc View on Github →