## Dedekind cut

method of construction of the real numbers

Agda Unimath: Dedekind cutWikidata: Dedekind cut

**mathswitch** — infrastructure for relaying and exchanging mathematical concepts

method of construction of the real numbers

Agda Unimath: Dedekind cutWikidata: Dedekind cut