On Hartogs' extension

From MaRDI portal
Publication:2118025