Definitions bool 1 Doc

At: assert of eq bool 1 1 1 1
1. false = true
2. true = false

False
By:
SwapEquands 1
THEN
Trivial
Generated subgoals:

None