PrintForm Definitions int 2 Sections StandardLIB Doc

At: minus mono wrt lt

i,j:. i > j -i < -j
By: GenUnivCD
Generated subgoals:

None

About:
intminusless_thanall

PrintForm Definitions int 2 Sections StandardLIB Doc