PrintForm
Definitions
ElisTarskiPf
A
Sections
NuprlLIB
Doc
At:
prop
iff
trans
A,B,C:Prop. (A
B)
(B
C)
(A
C)
By:
Unfold `guard` 0
THEN
ProveProp
Generated subgoals:
None
About:
PrintForm
Definitions
ElisTarskiPf
A
Sections
NuprlLIB
Doc
A,B,C:Prop. (A 
B) 
(B C) (A C)
