Theorem surjective_of_isSwap_of_isPretransitive

Modification history

2024-03-24 09:17
Mathlib/GroupTheory/Perm/ClosureSwap.lean
style: remove redundant instance arguments (#11581) …
Modified surjective_of_isSwap_of_isPretransitiveView on Github →
2024-02-24 12:06
Mathlib/GroupTheory/Perm/ClosureSwap.lean
feat(GroupTheory/Perm/ClosureSwap): A transitive permutation group generated by transpositions must be the whole symmetric group (#10035) …
Added surjective_of_isSwap_of_isPretransitiveView on Github →