Theorem Cardinal.add_right_inj_of_lt_aleph0

Modification history