Definitions bool 1 Doc

At: assert elim 1 2
1. false

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

12. false
false = true