Definitions bool 1 Doc

At: not assert elim 1 1
1. true

true = false
By: Inst Thm* true []
Generated subgoals:

None