mathlib
d49aa14c
- Merge branch 'master' into add_square
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
Merge branch 'master' into add_square
References
#12992 - feat(algebra/parity): Squares and primality
Author
khwilson
Parents
9a1d7b76
42b9cdf8
Loading