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

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

eric-wieser wants to merge 3 commits into master from eric-wieser/antidiagonal-with_bot
eric-wieser
eric-wieser refactor(data/list/nat_antidiagonal): extend to `enat`
a4e47e76
eric-wieser eric-wieser added WIP
eric-wieser eric-wieser requested a review from YaelDillies YaelDillies 3 years ago
eric-wieser Merge remote-tracking branch 'origin/master' into eric-wieser/antidia…
d1f47a3e
eric-wieser golf
b12a1f55
YaelDillies
YaelDillies commented on 2023-03-14
urkud
kim-em kim-em added too-late

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone