Theorem max_aleph0_card_le_rank_fun_nat

Modification history