mathlib3
refactor(data/list/nat_antidiagonal): extend to `enat`
#18581
Open
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
3
Changes
View On
GitHub
refactor(data/list/nat_antidiagonal): extend to `enat`
#18581
eric-wieser
wants to merge 3 commits into
master
from
eric-wieser/antidiagonal-with_bot
refactor(data/list/nat_antidiagonal): extend to `enat`
a4e47e76
eric-wieser
added
WIP
eric-wieser
requested a review
from
YaelDillies
3 years ago
Merge remote-tracking branch 'origin/master' into eric-wieser/antidia…
d1f47a3e
golf
b12a1f55
YaelDillies
commented on 2023-03-14
kim-em
added
too-late
Login to write a write a comment.
Login via GitHub
Reviewers
YaelDillies
Assignees
No one assigned
Labels
WIP
too-late
Milestone
No milestone
Login to write a write a comment.
Login via GitHub