List of theorems referencing the symbol DOT_MOD

(340) Theorem 293: [Integer division with remainder] ((M in Za) & (N in Za) & (N /= 0)) •imp (((M •OVER N) in Za) & (M incs ((M •OVER N) •TIMES N)) & ((M •MOD N) in N))