three (#12133)

Commit

4 years ago

feat(data/nat/prime): move nat.prime_iff_prime_int; add int.prime_two/three (#12133) I found it useful to have these results with somewhat lighter imports.

Author

Ruben-VandeVelde

Parents

37019db9

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

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