Theorem SubMulAction.compl_def

Modification history

2025-07-25 21:58
Mathlib/GroupTheory/GroupAction/SubMulAction.lean
chore: fix more indentation (#27491) …
Modified SubMulAction.compl_defView on Github →
2025-06-15 08:42
Mathlib/GroupTheory/GroupAction/SubMulAction.lean
feat(GroupTheory/GroupAction/SubMulAction/OfFixingSubgroup): action of the fixing Subgroup on the complement of a set (#23970) …
Modified SubMulAction.compl_defView on Github →
2025-05-27 08:57
Mathlib/GroupTheory/GroupAction/SubMulAction.lean
chore: tidy various files (#25212)
Modified SubMulAction.compl_defView on Github →
2025-05-20 07:44
Mathlib/GroupTheory/GroupAction/SubMulAction.lean
feat(GroupTheory.GroupAction.SubMulAction.OfStabilizer) : action of stabilizer on complement of a point (#23962) …
Added SubMulAction.compl_defView on Github →