Theorem nat.irreducible_iff_prime
Modification history
2022-11-11 10:11
src/data/nat/prime.lean
chore(data/nat/prime): add 2 aliases (#17372) …
Modified nat.irreducible_iff_primeView on Github →2021-12-30 06:52
src/data/nat/prime.lean
chore(data/nat/prime): move some results (#11066) …
Modified nat.irreducible_iff_primeView on Github →