Commit 2024-07-15 00:22 af101290

View on Github →

feat(Algebra/Polynomial/AlgebraMap): generalize one of the ring in map_aeval_eq_aeval_map to Semiring (#14735) ... it is not needed to be commutative.

Estimated changes