diff --git a/library/standard/congruence.lean b/library/standard/congr.lean
similarity index 100%
rename from library/standard/congruence.lean
rename to library/standard/congr.lean