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

At: minus functionality wrt le 1
1. i:
2. j:
3. ij

-i-j
By: InvertRel 3
Generated subgoal:

13. ji
-i-j

About:
intminus

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