Theorem Cardinal.aleph0_mul_continuum

Modification history