summaryrefslogtreecommitdiff
path: root/library/topology/basis.tex
diff options
context:
space:
mode:
Diffstat (limited to 'library/topology/basis.tex')
-rw-r--r--library/topology/basis.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/library/topology/basis.tex b/library/topology/basis.tex
index 052c551..f0f77e4 100644
--- a/library/topology/basis.tex
+++ b/library/topology/basis.tex
@@ -2,7 +2,7 @@
\import{set.tex}
\import{set/powerset.tex}
-\subsection{Topological basis}
+\subsection{Topological basis}\label{form_sec_topobasis}
\begin{abbreviation}\label{covers}
$C$ covers $X$ iff