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.