Theorem div_div_cancel₀

Modification history

2024-11-27 09:04
Mathlib/Algebra/GroupWithZero/Units/Basic.lean
chore: rename `div_div_cancel'` to `div_div_cancel₀` (#19459) …
Added div_div_cancel₀View on Github →