(3steps total) PrintForm Definitions core StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: or functionality wrt iff 2
1. P1 : Prop
2. P2 : Prop
3. Q1 : Prop
4. Q2 : Prop
5. P1  P2
6. Q1  Q2
7. P2  Q2
  P1  Q1
By: (Analyze 7 THENL [Sel 1 (Analyze 0);Sel 2 (Analyze 0)]) THEN HypBackchain

Generated subgoals:

None

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

(3steps total) PrintForm Definitions core StandardLIB Doc