mathlib
cac45580 - feat(data/(data|list)/basic): Add some trivial lemmas

Commit

5 years ago

feat(data/(data|list)/basic): Add some trivial lemmas

References

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

Author

eric-wieser

eric-wieser

Parents

Loading