Theorem div_mul_div_cancel₀

Modification history

2024-08-26 09:52
Mathlib/Algebra/GroupWithZero/Units/Basic.lean
feat: `a / b * (c / a) = c / b` for `CommGroupWithZero` (#16111) …
Added div_mul_div_cancel₀View on Github →