Theorem equiv.swap_swap
Modification history
2018-09-19 11:24
data/equiv/basic.lean
feat(group_theory/perm): sign_cycle and sign_bij (#347)
Modified equiv.swap_swapView on Github →2017-12-10 08:36
data/equiv.lean
feat(data/ordinal): ordinal numbers
Modified equiv.swap_swapView on Github →