Definitions bool 1 Doc

At: eqff to assert 1 2
1. false = false

false
By: BoolEval
Generated subgoal:

1 true