Theorem Set.card_le_of_subset

Modification history