Theorem Cardinal.add_lt_aleph0_iff

Modification history