Def CompareReals.Bourbakiℝ

Modification history

2023-03-08 20:49
Mathlib/Topology/UniformSpace/CompareReals.lean
feat Port/Topology.UniformSpace.CompareReals (#2702) …
Added CompareReals.BourbakiℝView on Github →