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

fixed copyright

Browse source
This commit is contained in:
GTBarkley 2023-06-21 22:02:50 +00:00
parent 0e00338f99
commit 1c29411906
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
CommAlg/StrictSeries.lean
View file

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