Theorem Cardinal.continuum_mul_aleph0

Modification history