Topology MOC Local homeomorphism A local homeomorphism is a map between topological spaces such that every has a neighbourhood such that is open and is a homeomorphism. #m/def/topology Equivalently, is a local homeomorphism iff is continuous, open, and locally injective. Proof#missing/proof #state/develop | #lang/en | #SemBr