Definitions bool 1 Doc

At: eqtt to assert 1 1
1. true = true

true
By:
RWH assert_evalC 0
THEN
Trivial
Generated subgoals:

None