bool
1
Doc
Def
if b
t else f fi == dec(b ; t; f)
Thm*
eq_int_cases_test
Thm*
fun_thru_ite
Thm*
ite_rw_true
Thm*
ite_rw_false