Theorem Set.subset_of_mem_powerset

Modification history