Commit 2025-08-30 11:06 7f6d00dd

View on Github →

feat: pullback monoid objects along a fully faithful functor (#29099) From Toric

Estimated changes