Theorem div_div_cancel_left₀

Modification history

2026-11-10 11:56
Mathlib/Algebra/GroupWithZero/Units/Basic.lean
chore(Algebra/GroupWithZero/Units/Basic): rename three lemmas `'` -> `₀` (#43858) …
Added div_div_cancel_left₀View on Github →