From 52f59f8592a667ad45e28eaf32d045057b9cd09f Mon Sep 17 00:00:00 2001 From: Floris van Doorn Date: Tue, 9 Feb 2016 18:27:38 -0500 Subject: [PATCH] rename long_exact_sequence to chain_complex --- homotopy/{long_exact_sequence.hlean => chain_complex.hlean} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename homotopy/{long_exact_sequence.hlean => chain_complex.hlean} (100%) diff --git a/homotopy/long_exact_sequence.hlean b/homotopy/chain_complex.hlean similarity index 100% rename from homotopy/long_exact_sequence.hlean rename to homotopy/chain_complex.hlean