Commit 2025-09-21 18:44 2cf26da2

View on Github →

feat: isomorphic monoid objects have isomorphic hom monoids (#29830) From Toric

Estimated changes