Search the corpus

    Maps into contractible spaces are nullhomotopic

    T-TQ4J3