Reserved for Dedekind-cut realisations of named reals (empty). More...

import dedekind.numbers:real;

Include dependency graph for constants.cppm:

Namespaces
namespace	dedekind::numbers

Detailed Description

Reserved for Dedekind-cut realisations of named reals (empty).

@partition :constants

Copyright: 2026 The Dedekind Authors Licensed under the Apache License, Version 2.0.

Note: "Aus dem Paradies, das Cantor uns geschaffen, soll uns niemand vertreiben konnen." ("No one shall expel us from the paradise that Cantor has created for us.") – David Hilbert, Ueber das Unendliche (1926)

Namespaces