Theorem TopCat.sigmaIsoSigma_hom_ι_apply

Modification history

2024-05-02 22:40
Mathlib/Topology/Category/TopCat/Limits/Products.lean
chore(Topology/Category): remove `ProfiniteMax` and `CompHausMax` (#12599) …
Modified TopCat.sigmaIsoSigma_hom_ι_applyView on Github →
2023-05-10 06:33
Mathlib/Topology/Category/Top/Limits/Products.lean
feat: port Topology.Category.Top.Limits.Products (#3709)
Added TopCat.sigmaIsoSigma_hom_ι_applyView on Github →