Congruence relation (source code)

= Congruence relation
{wiki=Congruence_relation}