Theorem Set.mem_powerset_iff

Modification history