Theorem TopCat.effectiveEpi_iff_quotientMap

Modification history

2024-10-23 02:43
Mathlib/Topology/Category/TopCat/EffectiveEpi.lean
chore: Rename `QuotientMap` to `IsQuotientMap` (#18062) …
Deleted TopCat.effectiveEpi_iff_quotientMapView on Github →
2024-02-27 23:07
Mathlib/Topology/Category/TopCat/EffectiveEpi.lean
feat(Topology/Category): `EffectiveEpi` iff `QuotientMap` in `TopCat` (#10993)
Added TopCat.effectiveEpi_iff_quotientMapView on Github →