mathlib
6cf566a7
- move nat.cast_apply
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
move nat.cast_apply
References
#12992 - feat(algebra/parity): Squares and primality
Author
YaelDillies
Parents
c6941519
Loading
