Theorem LocalHomeomorph.map_extend_nhdsWithin

Modification history