Theorem Cardinal.power_lt_aleph0

Modification history