Definitions bool 1 Doc

At: not assert elim 1 2
1. false

false = false
By: Auto
Generated subgoals:

None