Definitions bool 1 Doc

At: bnot bnot elim 1 1

true = true
By: Auto
Generated subgoals:

None