diff options
| -rw-r--r-- | library/formalizations.tex | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/library/formalizations.tex b/library/formalizations.tex deleted file mode 100644 index 8fff4d5..0000000 --- a/library/formalizations.tex +++ /dev/null @@ -1 +0,0 @@ -% from ยง12 Item 8: finer topology |