From 1c29411906442a1cd0dae28c2fe8b7215babddeb Mon Sep 17 00:00:00 2001
From: GTBarkley <barkleygrant@gmail.com>
Date: Wed, 21 Jun 2023 22:02:50 +0000
Subject: [PATCH] fixed copyright

---
 CommAlg/StrictSeries.lean | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/CommAlg/StrictSeries.lean b/CommAlg/StrictSeries.lean
index bec7b91..b8172a9 100644
--- a/CommAlg/StrictSeries.lean
+++ b/CommAlg/StrictSeries.lean
@@ -1,8 +1,7 @@
 /-
-Modified by Grant Barkley.
-Most of this file is Copyright (c) 2021 Chris Hughes. All rights reserved.
+Copyright (c) 2021 Chris Hughes. All rights reserved.
 Released under Apache 2.0 license as described in the Mathlib file LICENSE.
-Authors: Chris Hughes
+Authors: Chris Hughes, Grant Barkley
 -/
 import Mathlib.Order.Lattice
 import Mathlib.Data.List.Sort