mathswitch — infrastructure for relaying and exchanging mathematical concepts

Dedekind cut

method of construction of the real numbers

Agda Unimath: Dedekind cut
Wikidata: Dedekind cut