Theorem IsQuotientCoveringMap.isOpenQuotientMap

Modification history

2026-01-07 19:24
Mathlib/Topology/Covering/Quotient.lean
chore(Topology/Covering): adjust some statements (#33721) …
Added IsQuotientCoveringMap.isOpenQuotientMapView on Github →