Mathlib v3 is deprecated. Go to Mathlib v4

Theorem irreducible.not_square

Modification history

2022-11-09 17:39
src/algebra/associated.lean
chore(algebra/parity): Reduce imports (#17391) …
Modified irreducible.not_squareView on Github →
2022-09-10 19:00
src/algebra/parity.lean
feat(algebra/parity): Primes are not square (#16430) …
Added irreducible.not_squareView on Github →