Def TopCat.effectiveEpiStructOfQuotientMap

Modification history

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