int 2 Sections StandardLIB Doc

TheoremName
Thm* a:, n:. (a rem n) [remainder_wf]
cites
Thm* a:, n:. 0(a rem n) & (a rem n) < n[rem_bounds_1]

int 2 Sections StandardLIB Doc