Theorem rank_dual_eq_card_dual_of_aleph0_le_rank

Modification history