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