Theorem Cardinal.continuum_mul_self

Modification history