Theorem mem_fixingSubgroup_iff

Modification history

2023-01-27 14:47

Mathlib/GroupTheory/GroupAction/FixingSubgroup.lean

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

Added mem_fixingSubgroup_iff View on Github →