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