Theorem right_eq_mul₀

Modification history

2026-01-20 16:34
Mathlib/Algebra/GroupWithZero/Basic.lean
chore(Algebra): deprecate `CancelMonoidWithZero` (#33851) …
Modified right_eq_mul₀View on Github →
2023-04-12 19:26
Mathlib/Algebra/GroupWithZero/Basic.lean
feat: Dot notation aliases (#3303) …
Added right_eq_mul₀View on Github →