mathlib3
e7a7adc6
- Create prime_factorization.lean
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
Create prime_factorization.lean
References
SP_factorizations_draft_v2
Author
stuart-presnell
Parents
0cbba1a4
Loading
