Instances of ContinuousSqrt
#
This provides the instances of ContinuousSqrt
for ℝ
, ℝ≥0
, and ℂ
, thereby yielding instances
of StarOrderedRing C(α, R)
and StarOrderedRing C(α, R)₀
for any topological space α
and R
among ℝ≥0
, ℝ
, and ℂ
.
@[instance 100]
Equations
- One or more equations did not get rendered due to their size.