Theorem div_div_div_cancel_right₀

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_div_div_cancel_right₀View on Github →