assert_not_exists import

leanprover-community · Jan 18, 2025 · 7f76a04 · 7f76a04
1 parent 84594a0
commit 7f76a04
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Mathlib/Data/List/Map2.lean b/Mathlib/Data/List/Map2.lean
@@ -4,6 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Parikshit Khanna, Jeremy Avigad, Leonardo de Moura, Floris van Doorn, Mario Carneiro
 -/
 import Mathlib.Data.List.Defs
+import Mathlib.Tactic.Common
 
 /-!
 # Map₂ Lemmas