Theorem PartENat.card_eq_top_of_infinite

Modification history