Definitions bool 1 Doc

At: assert of eq bool 1
1. p:
2. q:

p=q p = q
By: Unfold `eq_bool` 0
Generated subgoal:

1 ((pq) (pq)) p = q