Theorem Set.card_empty

Modification history