Theorem LocalHomeomorph.nhds_eq_comap_inf_principal

Modification history