(2steps) PrintForm Definitions core 3 jlc Sections Support(jlc) Doc

At: decidable true

Dec(True)
By: Unfold `decidable` 0
Generated subgoal:

1 True True

About:
decidableortrue

(2steps) PrintForm Definitions core 3 jlc Sections Support(jlc) Doc