Theorem Cardinal.mk_lt_aleph0_iff

Modification history