Thms
bool
1
Doc
bfalse
Def
false
==
Thm* false
bool
Def
== Unit+Unit
Thm*
Type