Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-01-07 18:21 3b02ad77

View on Github →

feat(topology/homotopy/equiv): Add homotopy equivalences between topological spaces (#10529)

Estimated changes