Rank parity and complex structures on the Kalton–Peck space

Source: url:https://github.com/adas1236/KaltonPeck Authors: Avik Das Status: verified Main declarations: KaltonPeck.noHyperplaneComplexStructure Tags: functional-analysis, banach-spaces, fredholm-theory MSC: 46B03, 47A53