Commit a14430eb authored by Michael Kohlhase's avatar Michael Kohlhase

debugging_with_new_statistics_script

parent dd33ba7b
\begin{mhmodnl}[creators=miko]{topvr-normable}{en}
\begin{mhmodnl}[creators=miko]{topvr-metrizable}{en}
\begin{definition}
We call a \trefiii[topological-vectorspace]{topological}{vector}{space} $\cV$
\defi{normable}, iff there is a \trefii[metric-space]{distance}{function} on the
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment