Theorem Set.powerset_empty

Modification history