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

At: Three ind ext 1
1. x:

True
By:
ThreeInd 1
THEN
Trivial
Generated subgoals:

None

About:
true

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