Skip to content

Commit ff51775

Browse files
joelrioujoelriou
committed
chore(AlgebraicTopology): rename SingularHomology.HomotopyInvarianceTopCat (leanprover-community#37658)
Following leanprover-community#37656, it is possible to rename `SingularHomology.HomotopyInvarianceTopCat` as `SingularHomology.HomotopyInvariance`.
1 parent cb39573 commit ff51775

2 files changed

Lines changed: 1 addition & 1 deletion

File tree

‎Mathlib.lean‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1563,7 +1563,7 @@ public import Mathlib.AlgebraicTopology.SimplicialSet.SubcomplexColimits
15631563
public import Mathlib.AlgebraicTopology.SimplicialSet.SubcomplexEvaluation
15641564
public import Mathlib.AlgebraicTopology.SimplicialSet.TopAdj
15651565
public import Mathlib.AlgebraicTopology.SingularHomology.Basic
1566-
public import Mathlib.AlgebraicTopology.SingularHomology.HomotopyInvarianceTopCat
1566+
public import Mathlib.AlgebraicTopology.SingularHomology.HomotopyInvariance
15671567
public import Mathlib.AlgebraicTopology.SingularSet
15681568
public import Mathlib.AlgebraicTopology.TopologicalSimplex
15691569
public import Mathlib.Analysis.AbsoluteValue.Equivalence

Mathlib/AlgebraicTopology/SingularHomology/HomotopyInvarianceTopCat.lean renamed to Mathlib/AlgebraicTopology/SingularHomology/HomotopyInvariance.lean

File renamed without changes.

0 commit comments

Comments
 (0)