Skip to content

Commit fa7b276

Browse files
grunweggrunweg
committed
chore: normalise some copyright headers (leanprover-community#31233)
Instead of saying '2015, 2017 Author Name', just say 2015. Presumably, this situation arose once by merging some files, and splitting Mathlib/Topology/MetricSpace/Defs created the rest. In principle, claims of copyright have no effect on whether this copyright exists (i.e., these headers are informational and not legally binding). Copyright applies automatically (with very few exceptions) in all countries that signed the Berne convention and/or the TRIPS agreement. This is not universal, but quite close to it.
1 parent 39b9e8b commit fa7b276

14 files changed

Lines changed: 14 additions & 14 deletions

File tree

‎Mathlib/Topology/EMetricSpace/Basic.lean‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/-
2-
Copyright (c) 2015, 2017 Jeremy Avigad. All rights reserved.
2+
Copyright (c) 2015 Jeremy Avigad. All rights reserved.
33
Released under Apache 2.0 license as described in the file LICENSE.
44
Authors: Jeremy Avigad, Robert Y. Lewis, Johannes Hölzl, Mario Carneiro, Sébastien Gouëzel
55
-/

‎Mathlib/Topology/EMetricSpace/Defs.lean‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/-
2-
Copyright (c) 2015, 2017 Jeremy Avigad. All rights reserved.
2+
Copyright (c) 2015 Jeremy Avigad. All rights reserved.
33
Released under Apache 2.0 license as described in the file LICENSE.
44
Authors: Jeremy Avigad, Robert Y. Lewis, Johannes Hölzl, Mario Carneiro, Sébastien Gouëzel
55
-/

‎Mathlib/Topology/EMetricSpace/Diam.lean‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/-
2-
Copyright (c) 2015, 2017 Jeremy Avigad. All rights reserved.
2+
Copyright (c) 2015 Jeremy Avigad. All rights reserved.
33
Released under Apache 2.0 license as described in the file LICENSE.
44
Authors: Jeremy Avigad, Robert Y. Lewis, Johannes Hölzl, Mario Carneiro, Sébastien Gouëzel
55
-/

‎Mathlib/Topology/EMetricSpace/Pi.lean‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/-
2-
Copyright (c) 2015, 2017 Jeremy Avigad. All rights reserved.
2+
Copyright (c) 2015 Jeremy Avigad. All rights reserved.
33
Released under Apache 2.0 license as described in the file LICENSE.
44
Authors: Jeremy Avigad, Robert Y. Lewis, Johannes Hölzl, Mario Carneiro, Sébastien Gouëzel
55
-/

‎Mathlib/Topology/MetricSpace/Basic.lean‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/-
2-
Copyright (c) 2015, 2017 Jeremy Avigad. All rights reserved.
2+
Copyright (c) 2015 Jeremy Avigad. All rights reserved.
33
Released under Apache 2.0 license as described in the file LICENSE.
44
Authors: Jeremy Avigad, Robert Y. Lewis, Johannes Hölzl, Mario Carneiro, Sébastien Gouëzel
55
-/

‎Mathlib/Topology/MetricSpace/Bounded.lean‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/-
2-
Copyright (c) 2015, 2017 Jeremy Avigad. All rights reserved.
2+
Copyright (c) 2015 Jeremy Avigad. All rights reserved.
33
Released under Apache 2.0 license as described in the file LICENSE.
44
Authors: Jeremy Avigad, Robert Y. Lewis, Johannes Hölzl, Mario Carneiro, Sébastien Gouëzel
55
-/

‎Mathlib/Topology/MetricSpace/Cauchy.lean‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/-
2-
Copyright (c) 2015, 2017 Jeremy Avigad. All rights reserved.
2+
Copyright (c) 2015 Jeremy Avigad. All rights reserved.
33
Released under Apache 2.0 license as described in the file LICENSE.
44
Authors: Jeremy Avigad, Robert Y. Lewis, Johannes Hölzl, Mario Carneiro, Sébastien Gouëzel
55
-/

‎Mathlib/Topology/MetricSpace/Defs.lean‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/-
2-
Copyright (c) 2015, 2017 Jeremy Avigad. All rights reserved.
2+
Copyright (c) 2015 Jeremy Avigad. All rights reserved.
33
Released under Apache 2.0 license as described in the file LICENSE.
44
Authors: Jeremy Avigad, Robert Y. Lewis, Johannes Hölzl, Mario Carneiro, Sébastien Gouëzel
55
-/

‎Mathlib/Topology/MetricSpace/Pseudo/Basic.lean‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/-
2-
Copyright (c) 2015, 2017 Jeremy Avigad. All rights reserved.
2+
Copyright (c) 2015 Jeremy Avigad. All rights reserved.
33
Released under Apache 2.0 license as described in the file LICENSE.
44
Authors: Jeremy Avigad, Robert Y. Lewis, Johannes Hölzl, Mario Carneiro, Sébastien Gouëzel
55
-/

‎Mathlib/Topology/MetricSpace/Pseudo/Constructions.lean‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/-
2-
Copyright (c) 2015, 2017 Jeremy Avigad. All rights reserved.
2+
Copyright (c) 2015 Jeremy Avigad. All rights reserved.
33
Released under Apache 2.0 license as described in the file LICENSE.
44
Authors: Jeremy Avigad, Robert Y. Lewis, Johannes Hölzl, Mario Carneiro, Sébastien Gouëzel
55
-/

0 commit comments

Comments
 (0)