Theorem SubMulAction.ofStabilizer.isMultiplyPretransitive_iff

Modification history

2025-05-20 07:44
Mathlib/GroupTheory/GroupAction/MultipleTransitivity.lean
feat(GroupTheory.GroupAction.SubMulAction.OfStabilizer) : action of stabilizer on complement of a point (#23962) …
Added SubMulAction.ofStabilizer.isMultiplyPretransitive_iffView on Github →