Definitions bool 1 Doc

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

true
By:
Rewrite assert_evalC 0
THEN
Trivial
Generated subgoals:

None