Theorem Cardinal.powerlt_aleph0

Modification history