Revert "refactor(thesis): introduce commands for the natural and real numbers"
This reverts commit 2ce3ae45 but reintroduces the actually desired changes.
Please register or sign in to comment
This reverts commit 2ce3ae45 but reintroduces the actually desired changes.