A criterion for univalence extension
scientific article; zbMATH DE number 7846867
scientific article