From 3331a749f81304acce1befdf684986992f66d78d Mon Sep 17 00:00:00 2001
From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com>
Date: Thu, 11 Jul 2024 10:03:36 -0400
Subject: [PATCH] Update HepLean.lean

---
 HepLean.lean | 1 +
 1 file changed, 1 insertion(+)

diff --git a/HepLean.lean b/HepLean.lean
index 5099331..f0338a0 100644
--- a/HepLean.lean
+++ b/HepLean.lean
@@ -68,6 +68,7 @@ import HepLean.SpaceTime.LorentzGroup.Basic
 import HepLean.SpaceTime.LorentzGroup.Boosts
 import HepLean.SpaceTime.LorentzGroup.Orthochronous
 import HepLean.SpaceTime.LorentzGroup.Proper
+import HepLean.SpaceTime.LorentzGroup.Restricted
 import HepLean.SpaceTime.LorentzGroup.Rotations
 import HepLean.SpaceTime.LorentzTensor.Basic
 import HepLean.SpaceTime.LorentzVector.AsSelfAdjointMatrix