Theorem Cardinal.one_lt_aleph0

Modification history