A lower bound for the first eigenvalue of a negatively curved manifold
scientific article; zbMATH DE number 3816554