Nuprl - Pf minus_functionality_wrt_le

(3steps) PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc

At: minus functionality wrt le

i,j:. ij -i-j

By: Auto

Generated subgoal:

1 1. i:
2. j:
3. ij
-i-j

About:

(3steps) PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc