PowerSet

class proveit.logic.PowerSet(operand, *, styles=None)[source]

Bases: proveit.Function