Theorem Cardinal.aleph0_le_continuum

Modification history