Mathlib v3 is deprecated. Go to Mathlib v4

Def Compactum_to_CompHaus.iso_of_topological_space

Modification history

2022-03-11 23:40
src/topology/category/Compactum.lean
chore(*): update to 3.41.0c (#12591)
Added Compactum_to_CompHaus.iso_of_topological_spaceView on Github →