Gerhardy, P., & Kohlenbach, U. (2005). General Logical Metatheorems for Functional Analysis. BRICS Report Series, 12(21). https://doi.org/10.7146/brics.v12i21.21887