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

At: Three eq contradiction ext 1
1. 3 = 3

False
By: ThreeNEQ 1
Generated subgoals:

None

About:
equalfalse

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