Topology on the rational numbers #
The structure of a metric space on ℚ
is introduced in this file, induced from ℝ
.
Equations
Equations
@[deprecated continuous_mul]
The structure of a metric space on ℚ
is introduced in this file, induced from ℝ
.