Theorem MvPolynomial.aeval_id_eq_join₁

Modification history