Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_square_zero

Modification history

2022-09-10 19:00
src/algebra/parity.lean
feat(algebra/parity): Primes are not square (#16430) …
Modified is_square_zeroView on Github →
2022-04-22 15:16
src/algebra/parity.lean
feat(number_theory/legendre_symbol): add file quadratic_char.lean (#13503) …
Added is_square_zeroView on Github →