diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-04-30 12:26:13 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-04-30 12:26:13 +0200 |
| commit | cfd5061ced34f061e84ecca2a266f8f4cd01ce36 (patch) | |
| tree | 2298a5c7ab0f64e97abbdc0ab2d9635720de30c8 /latex/stdlib.tex | |
| parent | 6eea98cf3e66a07251e6370ea948898799d5055b (diff) | |
Adding the first formalisation of reals
Diffstat (limited to 'latex/stdlib.tex')
| -rw-r--r-- | latex/stdlib.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/latex/stdlib.tex b/latex/stdlib.tex index e545395..dba42a2 100644 --- a/latex/stdlib.tex +++ b/latex/stdlib.tex @@ -45,4 +45,5 @@ \input{../library/topology/topological-space.tex} \input{../library/topology/basis.tex} \input{../library/topology/disconnection.tex} + \input{../library/numbers.tex} \end{document} |