Commit 2025-08-13 10:56 a807326d
View on Github →refactor: use Algebra.FiniteType
as a class (#27030)
Assumptions are currently being passed explicitly, which is quite odd.
Also generalise the lemmas instances about Polynomial
, MvPolynomial
, etc... to be about two rings instead of one.
From Toric