# Theory of proveit.core_expr_types.conditionals¶

Theory related to Conditional types of Prove-It expressions. A Conditional has a condition and a value. The expression evaluates to the value when the condition is satisfied (evaluates to true) but cannot be reduced if it is not satisfied.

In [1]:
import proveit
%theory # toggles between interactive and static modes


### Local content of this theory

common expressions axioms theorems demonstrations