PrintForm core StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: implies transitivity
  P,Q,R:Prop. (P  Q)  (Q  R)  P  R
By: Unfold `guard` 0 THEN HypBackchain

Generated subgoals:

None

About:
propimpliesall
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

PrintForm core StandardLIB Doc