Definitions
bool
1
Doc
At:
decidable
equal
bool
1
2
false
= true
false
= true
By:
Sel 2 (Analyze 0)
Generated subgoal:
1
false
= true
false
= true 
false = true