Commit 2024-05-22 12:39 e497779a

View on Github →

feat(Algebra/Polynomial/AlgebraMap): relax the condition of aeval_comp to Semiring (#13101)

Estimated changes

modified theorem Polynomial.aeval_comp