Theorem PartialHomeomorph.continuous_iff_continuous_comp_left

Modification history