Mathlib v3 is deprecated. Go to Mathlib v4

Theorem even.is_square_pow

Modification history

2022-09-10 19:00
src/algebra/parity.lean
feat(algebra/parity): Primes are not square (#16430) …
Added even.is_square_powView on Github →