Mathlib v3 is deprecated. Go to Mathlib v4

Theorem CompHaus.coe_to_Top

Modification history

2020-12-03 19:30

src/topology/category/CompHaus.lean

feat(topology/category/Profinite): add category of profinite top. spaces (#5147)

Added CompHaus.coe_to_Top View on Github →