Thms
choice
1
Sections
AutomataTheory
Doc
band
Def
p
q == if p
q else false
fi
Thm*
p,q:
. (p
q)
About:
q == if p
q else false fi
p,q:
. (pq) 
q == if p q else false fi
