Theorem fixedPoints_subgroup_antitone

Modification history

2023-01-27 14:47

Mathlib/GroupTheory/GroupAction/FixingSubgroup.lean

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

Added fixedPoints_subgroup_antitone View on Github →