Skip to content

Commit 01e5f57

Browse files
fpvandoornfpvandoorn
committed
fix
1 parent 3a3e2cf commit 01e5f57

1 file changed

Lines changed: 0 additions & 1 deletion

File tree

‎Mathlib/Tactic/Relation/Trans.lean‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,6 @@ Released under Apache 2.0 license as described in the file LICENSE.
44
Authors: Siddhartha Gadgil, Mario Carneiro
55
-/
66
import Mathlib.Lean.Meta
7-
import Mathlib.Lean.Elab.Tactic.Basic
87
import Lean.Elab.Tactic.Location
98

109
/-!

0 commit comments

Comments
 (0)