Def CompHausLike.sigmaComparison

Modification history

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