Nuprl - Pf absval_lbound

(4steps) PrintForm Definitions int 2 Sections StandardLIB Doc

At: absval lbound

i:, n:. |i| > n i < -n i > n

By: UnivCD

Generated subgoal:

1 1. i:
2. n:
|i| > n i < -n i > n

About:

(4steps) PrintForm Definitions int 2 Sections StandardLIB Doc