Commit 2025-07-05 10:42 cdf36433

View on Github →

feat: F.obj M is a commutative monoid object if M is (#25327) From Toric

Estimated changes