From d727d2a293c2157f09fa3fcbf14016b8288229c0 Mon Sep 17 00:00:00 2001
From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com>
Date: Wed, 10 Jul 2024 11:44:52 -0400
Subject: [PATCH] refactor: shake

---
 HepLean/StandardModel/HiggsBoson/Basic.lean | 1 -
 1 file changed, 1 deletion(-)

diff --git a/HepLean/StandardModel/HiggsBoson/Basic.lean b/HepLean/StandardModel/HiggsBoson/Basic.lean
index a91e422..6ec0721 100644
--- a/HepLean/StandardModel/HiggsBoson/Basic.lean
+++ b/HepLean/StandardModel/HiggsBoson/Basic.lean
@@ -9,7 +9,6 @@ import Mathlib.Tactic.Polyrith
 import Mathlib.Geometry.Manifold.VectorBundle.Basic
 import Mathlib.Geometry.Manifold.VectorBundle.SmoothSection
 import Mathlib.Geometry.Manifold.Instances.Real
-import Mathlib.RepresentationTheory.Basic
 import Mathlib.Analysis.InnerProductSpace.Basic
 import Mathlib.Geometry.Manifold.ContMDiff.Product
 /-!