Theorem finite_compl_fixedBy_swap

Modification history

2026-08-11 00:21
Mathlib/GroupTheory/Perm/ClosureSwap.lean
chore: bump toolchain to v4.34.0-rc1 (#42619)
Modified finite_compl_fixedBy_swapView 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 finite_compl_fixedBy_swapView on Github →