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.
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.