Definitions
bool
1
Doc
At:
ite
rw
false
T:Type, b:
, x,y:T.
b
if b
x else y fi = y
By:
RepD
THEN
SplitOnConclITE
Generated subgoals:
None
T:Type, b:
, x,y:T. 
b 
if b
x else y fi = y