Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.prime_two

Modification history

2022-02-21 11:38

src/data/nat/prime.lean

feat(data/nat/prime): move nat.prime_iff_prime_int; add int.prime_two/three (#12133) …

Added int.prime_two View on Github →