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