int 2 Sections StandardLIB Doc

RankTheoremName
3 Thm* a,b,n:. a < b a+n < b+n[add_mono_wrt_lt]
cites
2 Thm* a,b,n:. a+n < b+n a < b[add_cancel_in_lt]

int 2 Sections StandardLIB Doc