Theorem Cardinal.aleph0_lt_continuum

Modification history