ホモトピーであれば
homotopiideareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of ホモトピー

1. if homotopy; when homotopy

Ba Conditional