int
2
Sections
StandardLIB
Doc
Rank
Theorem
Name
4
Thm*
a,b,n:
. a < b
a+n < b+n
[add_mono_wrt_lt_rw]
cites
3
Thm*
a,b,n:
. a < b
a+n < b+n
[add_mono_wrt_lt]
int
2
Sections
StandardLIB
Doc
a,b,n:
. a < b 
a+n < b+na,b,n:. a < b a+n < b+na,b,n:. a < b a+n < b+na,b,n:. a < b a+n < b+n