Theorem MvPolynomial.cardinal_mk_eq_lift

Modification history