chore: freeze data.sigma.basic (#17082)

See leanprover-community/mathlib4#479 Co-authored-by: Oliver Nash <github@olivernash.org>
leanprover-community · Oct 24, 2022 · 9a14662 · 9a14662
1 parent b06d228
commit 9a14662
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/data/sigma/basic.lean b/src/data/sigma/basic.lean
@@ -8,6 +8,10 @@ import tactic.lint
 import tactic.ext
 
 /-!
+THIS FILE IS SYNCHRONIZED WITH MATHLIB4.
+https://github.com/leanprover-community/mathlib4/pull/449
+Any changes to this file require a corresponding PR to mathlib4.
+
 # Sigma types
 
 This file proves basic results about sigma types.