Definitions bool 1 Doc

At: iff imp equal bool 1 1
1. False True
2. False True

false = true
By: Analyze 2
Generated subgoals:

None