← Copula mathematical handbook

Topological properties of conjugation on ℝ

instance instContinuousStarReal : ContinuousStar ℝ

instance NNReal.instContinuousStar : ContinuousStar NNReal