int
2
Sections
StandardLIB
Doc
Rank
Theorem
Name
3
Thm*
a,b,n:
. a
b
a+n
b+n
[add_mono_wrt_le_rw]
cites
2
Thm*
a,b,n:
. a
b
a+n
b+n
[add_mono_wrt_le]
int
2
Sections
StandardLIB
Doc
a,b,n:
. a
b 
a+nb+na,b,n:. ab a+nb+na,b,n:. ab a+nb+na,b,n:. ab a+nb+n