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.
import proveit
%theory # toggles between interactive and static modes