Theorem Algebraic.cardinal_mk_lift_of_infinite

Modification history