From 90527e78729f6dbb06416115aaea1eefb2a8e4b8 Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Mon, 20 May 2024 23:36:36 +0200
Subject: [PATCH] Update GroupActions.lean

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

diff --git a/HepLean/AnomalyCancellation/GroupActions.lean b/HepLean/AnomalyCancellation/GroupActions.lean
index e9b735b..33bae35 100644
--- a/HepLean/AnomalyCancellation/GroupActions.lean
+++ b/HepLean/AnomalyCancellation/GroupActions.lean
@@ -13,7 +13,7 @@ under which the anomaly equations are invariant.
 
 From this we define
 - The representation acting on the vector space of solutions to the linear ACCs.
-- The group action acting on solutions to the linera + quadratic equations.
+- The group action acting on solutions to the linear + quadratic equations.
 - The group action acting on solutions to the anomaly cancellation conditions.
 
 -/