2025-07-10 04:21
Mathlib/GroupTheory/GroupAction/MultiplePrimitivity.lean
feat(GroupTheory/GroupAction/MultiplyPretransitive) : Multiple transivity property of the permutation group (#26281) …
Added MulAction.isPreprimitive_of_fixingSubgroup_empty_iff