Theorem Cardinal.lift_continuum

Modification history