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

At: decidable true 1

True True
By: DNth 1 0
Generated subgoals:

None

About:
ortrue

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