Demonstrations for the theory of proveit.logic.sets.power_set

import proveit
from proveit.logic import PowerSet, Set
from proveit.numbers import one, two
%begin demonstrations

PowerSet(Set(one, two))

%end demonstrations