From 00d02ecacfdefaf030026571c9d7498f954e57e6 Mon Sep 17 00:00:00 2001 From: Floris van Doorn Date: Thu, 29 Jun 2017 14:57:11 +0100 Subject: [PATCH] add authors of mrc projects to files with major contributions --- algebra/product_group.hlean | 2 +- algebra/seq_colim.hlean | 2 ++ colim.hlean | 2 +- homology/homology.hlean | 2 +- homotopy/fwedge.hlean | 2 +- homotopy/spectrum.hlean | 2 +- 6 files changed, 7 insertions(+), 5 deletions(-) diff --git a/algebra/product_group.hlean b/algebra/product_group.hlean index 2bd56d1..066e18a 100644 --- a/algebra/product_group.hlean +++ b/algebra/product_group.hlean @@ -1,7 +1,7 @@ /- Copyright (c) 2015 Floris van Doorn. All rights reserved. Released under Apache 2.0 license as described in the file LICENSE. -Authors: Floris van Doorn, Egbert Rijke +Authors: Floris van Doorn, Egbert Rijke, Favonia Constructions with groups -/ diff --git a/algebra/seq_colim.hlean b/algebra/seq_colim.hlean index 2de1070..ee1ddb1 100644 --- a/algebra/seq_colim.hlean +++ b/algebra/seq_colim.hlean @@ -1,3 +1,5 @@ +--Authors: Robert Rose, Liz Vidaurre + import .direct_sum .quotient_group ..move_to_lib open eq algebra is_trunc set_quotient relation sigma prod sum list trunc function equiv sigma.ops nat diff --git a/colim.hlean b/colim.hlean index 1e5c279..5d398a6 100644 --- a/colim.hlean +++ b/colim.hlean @@ -1,4 +1,4 @@ --- authors: Floris van Doorn, Egbert Rijke +-- authors: Floris van Doorn, Egbert Rijke, Stefano Piceghello import hit.colimit types.fin homotopy.chain_complex types.pointed2 open seq_colim pointed algebra eq is_trunc nat is_equiv equiv sigma sigma.ops chain_complex diff --git a/homology/homology.hlean b/homology/homology.hlean index 51f6400..4b52be5 100644 --- a/homology/homology.hlean +++ b/homology/homology.hlean @@ -1,7 +1,7 @@ /- Copyright (c) 2017 Yuri Sulyma, Favonia Released under Apache 2.0 license as described in the file LICENSE. -Authors: Yuri Sulyma, Favonia +Authors: Yuri Sulyma, Favonia, Floris van Doorn Reduced homology theories -/ diff --git a/homotopy/fwedge.hlean b/homotopy/fwedge.hlean index a89bcc4..f870237 100644 --- a/homotopy/fwedge.hlean +++ b/homotopy/fwedge.hlean @@ -1,7 +1,7 @@ /- Copyright (c) 2016 Jakob von Raumer. All rights reserved. Released under Apache 2.0 license as described in the file LICENSE. -Authors: Floris van Doorn +Authors: Floris van Doorn, Favonia The Wedge Sum of a family of Pointed Types -/ diff --git a/homotopy/spectrum.hlean b/homotopy/spectrum.hlean index 3c190ca..14b5d45 100644 --- a/homotopy/spectrum.hlean +++ b/homotopy/spectrum.hlean @@ -1,7 +1,7 @@ /- Copyright (c) 2016 Michael Shulman. All rights reserved. Released under Apache 2.0 license as described in the file LICENSE. -Authors: Michael Shulman, Floris van Doorn +Authors: Michael Shulman, Floris van Doorn, Stefano Piceghello, Yuri Sulyma -/