Definitions bool 1 Doc

At: decidable equal bool

a,b:. Dec(a = b)
By: UnivCD
Generated subgoal:

11. a:
2. b:
Dec(a = b)