mathlib
5f4938ac
- Merge remote-tracking branch 'origin/master' into add_square
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
Merge remote-tracking branch 'origin/master' into add_square
References
#12992 - feat(algebra/parity): Squares and primality
Author
YaelDillies
Parents
ff263277
fd5d3068
Loading
