From 52b8fee078b9179669d6752a5056931421c968aa Mon Sep 17 00:00:00 2001 From: favonia Date: Tue, 6 Jun 2017 16:57:34 -0600 Subject: [PATCH] Clean up homotopy.hlean a little bit. --- homology/homology.hlean | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/homology/homology.hlean b/homology/homology.hlean index 22f84c7..3610243 100644 --- a/homology/homology.hlean +++ b/homology/homology.hlean @@ -1,7 +1,7 @@ import ..homotopy.spectrum ..homotopy.EM ..algebra.arrow_group ..algebra.direct_sum ..homotopy.fwedge ..choice ..homotopy.pushout ..move_to_lib -open eq spectrum int trunc pointed EM group algebra circle sphere nat EM.ops equiv susp is_trunc - function fwedge cofiber bool lift sigma is_equiv choice pushout algebra unit pi smash +open eq spectrum int pointed group algebra sphere nat equiv susp is_trunc + function fwedge cofiber lift is_equiv choice algebra pi smash namespace homology