An extension theorem for D-normal spaces
universal space for second countable developable T1-spaces
continuous mapping from a closed G-delta-subspace of a D-normal space
scientific article; zbMATH DE number 3798621