mathlib
d0d1433a - Merge branch 'master' into eric-wieser/perm-move

Commit

5 years ago

Merge branch 'master' into eric-wieser/perm-move

References

eric-wieser/perm-move

#4739 - feat(group_theory/perm/sign): Add `equiv.perm.move`, to move an item in a permutation

Author

eric-wieser

eric-wieser

Parents

Loading