Theorem MvPolynomial.cardinal_lift_mk_le_max

Modification history