Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_square.not_irreducible

Modification history

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