Theorem LocalHomeomorph.extend_target_subset_range

Modification history