Homotopy equivalences in a principal fiber space (Q2522213)

From MaRDI portal