Def TopCat.piIsoPi

Modification history

2026-09-04 11:59
Mathlib/Topology/Category/TopCat/Limits/Products.lean
chore(CategoryTheory): use the new `↧` notation in concrete categories (#41811) …
Modified TopCat.piIsoPiView on Github →
2024-05-27 10:06
Mathlib/Topology/Category/TopCat/Limits/Products.lean
style: change the notation for `CategoryTheory.Limits.piObj` from `∏ f` to `∏ᶜ f` (#13269) …
Modified TopCat.piIsoPiView on Github →
2024-05-02 22:40
Mathlib/Topology/Category/TopCat/Limits/Products.lean
chore(Topology/Category): remove `ProfiniteMax` and `CompHausMax` (#12599) …
Modified TopCat.piIsoPiView on Github →
2023-09-22 11:29
Mathlib/Topology/Category/TopCat/Limits/Products.lean
chore: exactly 4 spaces in subsequent lines for def (#7321)
Modified TopCat.piIsoPiView on Github →
2023-05-10 06:33
Mathlib/Topology/Category/Top/Limits/Products.lean
feat: port Topology.Category.Top.Limits.Products (#3709)
Added TopCat.piIsoPiView on Github →