Theorem SubMulAction.ofFixingSubgroup_insert_map_bijective

Modification history

2025-07-10 04:21
Mathlib/GroupTheory/GroupAction/SubMulAction/OfFixingSubgroup.lean
feat(GroupTheory/GroupAction/MultiplyPretransitive) : Multiple transivity property of the permutation group (#26281) …
Modified SubMulAction.ofFixingSubgroup_insert_map_bijectiveView on Github →
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 SubMulAction.ofFixingSubgroup_insert_map_bijectiveView on Github →