(2steps total) Remark PrintForm LogicSupplement Sections DiscrMathExt Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: guarded prop to prop 1
1. P : Prop
2. Q : Prop(given P)
3. P
  Q  Prop
By: Analyze-2

Generated subgoals:

None

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

(2steps total) Remark PrintForm LogicSupplement Sections DiscrMathExt Doc