Structure CancelCommMonoidWithZero

Modification history

2026-01-20 16:34
Mathlib/Algebra/GroupWithZero/Defs.lean
chore(Algebra): deprecate `CancelMonoidWithZero` (#33851) …
Added CancelCommMonoidWithZeroView on Github →