ホモトピーだったら
homotopiidattara

Noun
Da Copula

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

1. if homotopy; when homotopy

Tara Conditional