mathematics_in_lean_source icon indicating copy to clipboard operation
mathematics_in_lean_source copied to clipboard

Topology chapter should teach/warn about products of metric spaces

Open fpvandoorn opened this issue 1 year ago • 0 comments

The metric space on α × β uses the max-distance, not the Euclidean distance, and maybe give a forward-reference to the Euclidean distance.

fpvandoorn avatar Jul 10 '23 14:07 fpvandoorn