Theorem Set.powerset_univ

Modification history