(2steps)
PrintForm
Definitions
Three
Sections
ClassicalProps(jlc)
Doc
At:
Three
eq
contradiction
ext
3
= 3
By:
Analyze 0
Generated subgoal:
1
1.
3
= 3
False
About:
(2steps)
PrintForm
Definitions
Three
Sections
ClassicalProps(jlc)
Doc
= 3
False
3 = 3
= 3 False
