Theorem Cardinal.mk_lt_aleph0

Modification history