DibyashanuPati/PhysLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

refactor: shake

Browse source
This commit is contained in:
jstoobysmith 2024-07-10 11:44:52 -04:00
parent 844a5e7508
commit d727d2a293
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
HepLean/StandardModel/HiggsBoson/Basic.lean
View file

@ -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
/-!