mathlib
5e78882f - feat(algebra/parity): Primes are not square (#16430)

Commit

3 years ago

feat(algebra/parity): Primes are not square (#16430) and a few other basic results about `is_square`.

Author

YaelDillies

Parents