Add negatives for commutative monoids and semirings (Abelian group and ring completions) - #3106
Open
LionOfJewdah wants to merge 2 commits into
Open
Add negatives for commutative monoids and semirings (Abelian group and ring completions)#3106LionOfJewdah wants to merge 2 commits into
LionOfJewdah wants to merge 2 commits into
Commits
Commits on Aug 5, 2026
- committed
David Silverstone
Commits on Aug 6, 2026
- committedDavid Silverstone