Def CompHaus.isTerminalPUnit

Modification history

2024-08-01 08:35
Mathlib/Topology/Category/CompHaus/Limits.lean
refactor(Topology/Category): unify some definitions of subcategories of compact Hausdorff spaces (#12930) …
Deleted CompHaus.isTerminalPUnitView on Github →
2024-04-17 10:49
Mathlib/Topology/Category/CompHaus/Limits.lean
feat(CompHaus): terminal objects (#12186) …
Added CompHaus.isTerminalPUnitView on Github →