Theory of
proveit
.
logic
.
sets
.cartesian_products
¶
Provide description here.
In [1]:
import
proveit
%
theory
# toggles between interactive and static modes
Local content of this theory
common expressions
axioms
theorems
demonstrations
Sub-theories
All axioms contained within this theory
proveit.logic.sets.cartesian_products.cart_prod_def
proveit.logic.sets.cartesian_products.cart_exp_def