mathlib
daa53e9b - feat(algebra/big_operators/nat_antidiagonal): a few more lemmas

Commit

5 years ago

feat(algebra/big_operators/nat_antidiagonal): a few more lemmas

Author

urkud

urkud

Parents

Loading