Theorem Cardinal.continuum_power_aleph0

Modification history