Theorem div_eq_div_iff_div_eq_div'

Modification history

2024-03-19 14:54
Mathlib/Algebra/GroupWithZero/Units/Basic.lean
chore: Move `GroupWithZero` lemmas earlier (#10919) …
Modified div_eq_div_iff_div_eq_div'View on Github →
2024-01-25 00:17
Mathlib/Algebra/GroupWithZero/Units/Lemmas.lean
feat: two lemmas about division (#9966)
Added div_eq_div_iff_div_eq_div'View on Github →