Definitions bool 1 Doc

At: bnot bnot elim 1 2

false = false
By: Auto
Generated subgoals:

None