Theorem rank_dual_eq_card_dual_of_aleph0_le_rank'

Modification history