Theorem Equiv.Perm.closure_cycle_adjacent_swap
Modification history
2024-09-29 00:04
Mathlib/GroupTheory/Perm/Closure.lean
chore: replace top by univ in closure_cycle_adjacent_swap (#17235)
Modified Equiv.Perm.closure_cycle_adjacent_swapView on Github →