diff options
Diffstat (limited to 'library/topology/metric-space.tex')
| -rw-r--r-- | library/topology/metric-space.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/library/topology/metric-space.tex b/library/topology/metric-space.tex index bcc5b8c..031aa0f 100644 --- a/library/topology/metric-space.tex +++ b/library/topology/metric-space.tex @@ -4,7 +4,7 @@ \import{set/powerset.tex} \import{topology/basis.tex} -\section{Metric Spaces} +\section{Metric Spaces}\label{form_sec_metric} \begin{definition}\label{metric} $f$ is a metric on $M$ iff $f$ is a function from $M \times M$ to $\reals$ and |