Displaying similar documents to “Die Homotopieerweiterungseigenschaft (= HE P) ist eine lokale Eigenschaft.”