Page "Schauder basis#Properties" not found :(