A compactness result for differentiable functions with an application to boundary value problems
scientific article; zbMATH DE number 6177624