Documentation

Mathlib.FieldTheory.IsRealClosed.Real

The real numbers form a real closed field #

source
instance instIsRealClosedReal :
IsRealClosed ℝ