Theorem CompHausLike.sigmaComparison_eq_comp_isos

Modification history

2024-09-03 09:13
Mathlib/Topology/Category/CompHausLike/SigmaComparison.lean
feat(Topology/CompHaus): sigma-comparison map (#15525) …
Added CompHausLike.sigmaComparison_eq_comp_isosView on Github →