On the rational homotopy of map\((HP^ m, HP^ n)\)
rational homotopy groups of path-component of inclusion in space of maps between quaternion projective spaces
scientific article; zbMATH DE number 3836966