Definitions bool 1 Doc

At: assert elim 1 1
1. true

true = true
By: Auto
Generated subgoals:

None