Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-15 21:20 14802d6c

View on Github →

chore(ring_theory/int/basic): remove duplicate lemma nat.prime_iff_prime (#7611)

Estimated changes

Modified src/data/nat/multiplicity.lean

Modified src/ring_theory/int/basic.lean

deleted theorem nat.prime_iff_prime

Modified src/ring_theory/roots_of_unity.lean