Theorem Cardinal.continuum_mul_nat

Modification history