Nuprl - Proof: prop iff trans

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:

PrintForm Definitions ElisTarskiPf B Sections NuprlLIB Doc