Structure CancelMonoidWithZero

Modification history

2026-08-11 12:14
Mathlib/Algebra/GroupWithZero/Defs.lean
chore: delete deprecated declarations/modules from January 2026 (#42075) …
Deleted CancelMonoidWithZeroView on Github →
2026-01-20 16:34
Mathlib/Algebra/GroupWithZero/Defs.lean
chore(Algebra): deprecate `CancelMonoidWithZero` (#33851) …
Added CancelMonoidWithZeroView on Github →