Theorem LocalHomeomorph.restr_source_inter

Modification history