CartProd

class proveit.logic.CartProd(*operands, styles=None)[source]

Bases: proveit.Operation

A CartProd represents the Cartesian product of sets to produce a new set.