Theorem LocalHomeomorph.eq_of_localEquiv_eq

Modification history