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