Definitions bool 1 Doc

At: decidable equal bool 1 1

true = true true = true
By: Sel 1 (Analyze 0)
Generated subgoals:

None