mathlib

428aec90 - feat(group_theory/congruence): create file about congruence relations (#1690)

feat(group_theory/congruence): create file about congruence relations (#1690) * add congruence.lean * add has_mul * add definition of congruence relation * minor changes * responding to review comments * fix docstring mistake in setoid.lean