mathlib
b5bfaf4d
- Golf
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
Golf
References
#16231 - feat(data/nat/factorization/basic): lemmas about factorizations of sums and subtractions
Author
stuart-presnell
Parents
f9406225
Loading
