Theorem EuclideanDomain.div_eq_div_iff_mul_eq_mul_of_dvd

Modification history

2025-04-03 07:01
Mathlib/Algebra/EuclideanDomain/Basic.lean
feat: add rewriting lemmas for euclidean domains (#23076) …
Added EuclideanDomain.div_eq_div_iff_mul_eq_mul_of_dvdView on Github →