Theorem IsLocalHomeomorph.exists_lift_nhds

Modification history