mathlib3
3dc21700 - feat(data/fin/tuple/nat_antidiagonal): add trivial equiv

Commit

3 years ago

feat(data/fin/tuple/nat_antidiagonal): add trivial equiv

Author

eric-wieser

eric-wieser

Parents

Loading