Commit 2022-06-14 18:25 16728b30
View on Github →feat(topology/homotopy/contractible): a few convenience lemmas (#14710)
If X and Y are homotopy equivalent spaces, then one is
contractible if and only if the other one is contractible.
feat(topology/homotopy/contractible): a few convenience lemmas (#14710)
If X and Y are homotopy equivalent spaces, then one is
contractible if and only if the other one is contractible.