Theorem Cardinal.nat_mul_continuum

Modification history