Theorem Set.mem_powerset

Modification history