Theorem MulAction.isMultiplyPretransitive_iff

Modification history

2025-07-07 17:19

Mathlib/GroupTheory/GroupAction/MultipleTransitivity.lean

feat(GroupTheory/GroupAction/Jordan) : Primitivity lemmas (#26280) …

Added MulAction.isMultiplyPretransitive_iff View on Github →