(17steps) PrintForm Definitions Three Sections ClassicalProps(jlc) Doc

At: decidable equal Three 1 5

Dec(3 = 3)
By: Choose [1]
Generated subgoals:

None

About:
decidableequal

(17steps) PrintForm Definitions Three Sections ClassicalProps(jlc) Doc