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