Theorem LocalHomeomorph.extend_source_mem_nhds

Modification history