SinTan1729/comm_alg
1
0
Fork 0
mirror of https://github.com/GTBarkley/comm_alg.git synced 2024-12-25 23:28:36 -06:00
Code Issues Projects Releases Packages Wiki Activity

fixed copyright statement

Browse source
This commit is contained in:
GTBarkley 2023-06-19 18:49:38 +00:00
parent b4b8c895c0
commit d96a4c2110
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
CommAlg/StrictSeries.lean
View file

@ -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