Theorem div_left_inj₀

Modification history

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