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

Open

Commits

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

eric-wieser committed 3 years ago
Merge remote-tracking branch 'origin/master' into eric-wieser/antidiagonal-with_bot

eric-wieser committed 3 years ago
golf

eric-wieser committed 3 years ago

Loading