Euclidean de Rham factor of a lattice of nonpositive curvature
scientific article; zbMATH DE number 3812453