Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-15 18:38 b622d4df

View on Github →

chore(algebra/associated): move prime_dvd_prime_iff_eq (#12706)

Estimated changes

added theorem prime_dvd_prime_iff_eq
deleted theorem prime_dvd_prime_iff_eq