(6steps total) PrintForm Definitions int 2 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: absval elim

  P:(Prop). (x:P(|x|))  (x:P(x))

By: Analyze


Generated subgoal:

1 1. P : Prop
  (x:P(|x|))  (x:P(x))

5 steps

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

(6steps total) PrintForm Definitions int 2 Sections StandardLIB Doc