Theorem Set.conj_mem_fixingSubgroup

Modification history

2025-06-15 08:42

Mathlib/GroupTheory/GroupAction/SubMulAction/OfFixingSubgroup.lean

feat(GroupTheory/GroupAction/SubMulAction/OfFixingSubgroup): action of the fixing Subgroup on the complement of a set (#23970) …

Added Set.conj_mem_fixingSubgroup View on Github →