Def TopCat.coconeOfCoconeForget

Modification history

2025-04-30 12:59
Mathlib/Topology/Category/TopCat/Limits/Basic.lean
chore: more whitespace fixes (#24472) …
Modified TopCat.coconeOfCoconeForgetView on Github →
2025-02-11 09:10
Mathlib/Topology/Category/TopCat/Limits/Basic.lean
refactor(Topology): colimits in `TopCat` (#20369) …
Added TopCat.coconeOfCoconeForgetView on Github →