Real number (source code)

by Ciro Santilli (@cirosantilli, 37)
= Real number
{title2=$\R$}
{wiki}

= Real
{synonym}

A good definition is by using <Dedekind cuts>.

Back to article page