(8steps) PrintForm Definitions int 2 Sections StandardLIB Doc

At: absval elim 2 1 2
1. P: Prop
2. x:. P(x)
3. x:
4. x < 0

P(-x)
By: BackThru 2
Generated subgoals:

None

About:
intnatural_numberminusless_thanapplyfunctionpropall

(8steps) PrintForm Definitions int 2 Sections StandardLIB Doc