From 64d98066da0a2ee28c5f8470630bc0f8bcec90e9 Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Tue, 21 May 2024 14:12:57 +0200
Subject: [PATCH] Update Basic.lean

---
 HepLean/AnomalyCancellation/SM/NoGrav/Basic.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/HepLean/AnomalyCancellation/SM/NoGrav/Basic.lean b/HepLean/AnomalyCancellation/SM/NoGrav/Basic.lean
index bdc1a45..4d33c6d 100644
--- a/HepLean/AnomalyCancellation/SM/NoGrav/Basic.lean
+++ b/HepLean/AnomalyCancellation/SM/NoGrav/Basic.lean
@@ -7,7 +7,7 @@ import HepLean.AnomalyCancellation.SM.Basic
 /-!
 # Anomaly Cancellation in the Standard Model without Gravity
 
-This file defines the system of anaomaly equations for the SM without RHN, and
+This file defines the system of anomaly equations for the SM without RHN, and
 without the gravitational ACC.
 
 -/