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

Estimated changes