Commit 2025-07-30 20:22 05e1c7ab

View on Github →

feat(MonoidAlgebra): generalize IsDomain instance (#27241) The instance works over a semiring with cancellative addition. It's then used to generalize the IsDomain instances on Polynomial and MvPolynomial.

Estimated changes