WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Hausdorff space

Revision #2585 → #3236 · back to history

modifiedQuotient of compact Hausdorff equivalences7436c7d4c5b0
FieldFrom #2585To #3236
mathlib.declIsQuotientMap.of_surjective_continuousTopology.IsQuotientMap.of_surjective_continuous
provenanceaiai-moderated