Theorem mul_eq_right₀

Modification history

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