Theorem Prime.dvd_of_pow_dvd_pow_mul_pow_of_square_not_dvd
Modification history
2024-10-25 12:58
Mathlib/Algebra/Associated/Basic.lean
chore(Algebra/Associated): split off Prime and Irreducible (#18224) …
Modified Prime.dvd_of_pow_dvd_pow_mul_pow_of_square_not_dvdView on Github →