GitHub repository: oliver-butterley/math-nussbaum
Created: 2021-03-23T08:54:42Z
Description: Measure of non-compactness implies estimate of essential spectral radius