PrintForm Definitions ElisTarskiPf B 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:
propimpliesall

PrintForm Definitions ElisTarskiPf B Sections NuprlLIB Doc