Congruent Modulo ≡x

Two numbers a and b are congruent modulo x if (= (mod a x) (mod b x)) /edit/peano/peano_thms.gh/df-modcon. This is a congruence respecting addition and multiplication.

Examples

Properties

Arithmetic Overview

Login to edit