Definitions
bool
1
Doc
At:
fun
thru
ite
S,T:Type, f:(S
T), b:
, p,q:S. f(if b
p else q fi) = if b
f(p) else f(q) fi
By:
RepD
THEN
OnVar `b' BoolCases
THEN
AbReduce 0
Generated subgoals:
None