Theorem EuclideanDomain.mod_eq_sub_mul_div
Modification history
2025-02-17 21:24
Mathlib/Algebra/EuclideanDomain/Basic.lean
chore(Algebra/EuclideanDomain): clean up imports for `Defs.lean` (#22000) …
Modified EuclideanDomain.mod_eq_sub_mul_divView on Github →