mathlib3

eb4384e4 - feat(geometry/euclidean/congruence): define congruences