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.
proveit.logic.
CartProd
(*operands, styles=None)[source]¶Bases: proveit.Operation
A CartProd represents the Cartesian product of sets to produce a new set.