https://9lib.org/document/y4wkrdgr-countable-codimensional-subspaces-semiconvex-spacesabstract-semiconvex-analogues-results.html