Merge branch 'YK-cont-alt-new' into YK-cont-alternating

leanprover-community · Jun 22, 2023 · 47a9075 · 47a9075
2 parents fb50bbc + ceb0dfb
commit 47a9075
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/topology/algebra/module/alternating.lean b/src/topology/algebra/module/alternating.lean
@@ -1,7 +1,7 @@
 /-
 Copyright (c) 2023 Yury Kudryashov. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
-Authors: Yury Kudryashov, Heather Macbeth
+Authors: Yury Kudryashov, Heather Macbeth, Sébastien Gouëzel
 -/
 import linear_algebra.alternating
 import topology.algebra.module.multilinear