From d96a4c2110528d34dba7ddc373c0226b7bd0bc60 Mon Sep 17 00:00:00 2001 From: GTBarkley Date: Mon, 19 Jun 2023 18:49:38 +0000 Subject: [PATCH] fixed copyright statement --- CommAlg/StrictSeries.lean | 1 + 1 file changed, 1 insertion(+) diff --git a/CommAlg/StrictSeries.lean b/CommAlg/StrictSeries.lean index d36b411..01cacee 100644 --- a/CommAlg/StrictSeries.lean +++ b/CommAlg/StrictSeries.lean @@ -1,4 +1,5 @@ /- +Modified by Grant Barkley. Most of this file is Copyright (c) 2021 Chris Hughes. All rights reserved. Released under Apache 2.0 license as described in the Mathlib file LICENSE. Authors: Chris Hughes