Theorem Set.powerset_inter

Modification history