Theorem Algebraic.cardinal_mk_lift_le_max

Modification history