mathlib
a4e47e76 - refactor(data/list/nat_antidiagonal): extend to `enat`

Commit

3 years ago

refactor(data/list/nat_antidiagonal): extend to `enat`

References

#18581 - refactor(data/list/nat_antidiagonal): extend to `enat`

Author

eric-wieser

eric-wieser

Parents

Loading