Theorem Cardinal.aleph0_power_aleph0

Modification history