Thms bool 1 Doc

bfalse Def false ==

Thm* false