Theorem Set.encard_le_card

Modification history