Theorem AddAction.stabilizerEquivStabilizer_compTriple

Modification history

2026-09-18 15:04
Mathlib/GroupTheory/GroupAction/SubMulAction/OfStabilizer.lean
chore: catch up on a lot of `to_additive` debt (#43814) …
Deleted AddAction.stabilizerEquivStabilizer_compTripleView on Github →
2025-05-20 07:44
Mathlib/GroupTheory/GroupAction/SubMulAction/OfStabilizer.lean
feat(GroupTheory.GroupAction.SubMulAction.OfStabilizer) : action of stabilizer on complement of a point (#23962) …
Added AddAction.stabilizerEquivStabilizer_compTripleView on Github →