Mathlib v3 is deprecated. Go to Mathlib v4

Def equiv.perm.mod_swap

Modification history

2020-12-03 16:31
src/group_theory/perm/sign.lean
chore(linear_algebra/determinant): Move some lemmas about swaps to better files (#5201) …
Added equiv.perm.mod_swapView on Github →