Definitions bool 1 Doc

At: assert elim 1 2 1
1. false
2. false

false = true
By: Auto
Generated subgoals:

None