Theorem MulAction.isMultiplyPreprimitive_of_isMultiplyPretransitive_succ

Modification history

2025-06-27 03:35
Mathlib/GroupTheory/GroupAction/MultiplePrimitivity.lean
feat: Multiple Primitivity of group actions (#26279) …
Added MulAction.isMultiplyPreprimitive_of_isMultiplyPretransitive_succView on Github →