Theorem PartialHomeomorph.nhds_eq_comap_inf_principal

Modification history