Theorem Set.encard_empty

Modification history