Commit 2025-03-06 20:36 b7404556
View on Github →feat: predicate for a monoid object to be commutative (#22646) I didn't know where to place these changes within the files, so I placed them at the end. From Toric
feat: predicate for a monoid object to be commutative (#22646) I didn't know where to place these changes within the files, so I placed them at the end. From Toric