mathlib3
018f0e6a
- Remove TODO
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
Remove TODO
References
#16231 - feat(data/nat/factorization/basic): lemmas about factorizations of sums and subtractions
Author
stuart-presnell
Parents
6312c024
Loading
