Theorem AddMonoidAlgebra.mvPolynomial_aeval_of_surjective_of_closure

Modification history