Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_square.pow

Modification history

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