Theorem div_mul_cancel₀

Modification history

2025-05-15 09:40
Mathlib/Algebra/GroupWithZero/Units/Basic.lean
chore: remove `@[simp]` from lemmas that `simp [*]` can prove (#24926)
Modified div_mul_cancel₀View on Github →
2024-03-23 16:05
Mathlib/Algebra/GroupWithZero/Units/Basic.lean
chore: Rename `mul`-`div` cancellation lemmas (#11530) …
Added div_mul_cancel₀View on Github →