chore: freeze data.bracket (#17077)

leanprover-community · Oct 20, 2022 · eed79d6 · eed79d6
1 parent 0578d23
commit eed79d6
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/data/bracket.lean b/src/data/bracket.lean
@@ -5,6 +5,10 @@ Authors: Patrick Lutz, Oliver Nash
 -/
 
 /-!
+THIS FILE IS SYNCHRONIZED WITH MATHLIB4.
+https://github.com/leanprover-community/mathlib4/pull/480
+Any changes to this file require a corresponding PR to mathlib4.
+
 # Bracket Notation
 
 This file provides notation which can be used for the Lie bracket, for the commutator of two