Small refactorings for real numbers

[fredrik-bakke]

Real numbers

• [ ] Factor out lower and upper Dedekind cuts into their own files.
• [ ] lower and upper Dedekind reals should probably be their own files too.
• [ ] Use the theory of lower and upper sets of posets in the definition of Dedekind cuts.