Theorem MvPolynomial.cardinal_mk_eq_max

Modification history