Theorem Algebraic.cardinal_mk_lift_le_mul

Modification history