Theorem EuclideanDomain.mul_add_div_left

Modification history

2025-10-21 22:20
Mathlib/Algebra/EuclideanDomain/Basic.lean
style(Algebra): fix whitespace (#30688) …
Modified EuclideanDomain.mul_add_div_leftView on Github →
2025-04-03 07:01
Mathlib/Algebra/EuclideanDomain/Basic.lean
feat: add rewriting lemmas for euclidean domains (#23076) …
Added EuclideanDomain.mul_add_div_leftView on Github →