Commit 616da382 authored by Michael Kohlhase's avatar Michael Kohlhase

debugging

parent a14430eb
......@@ -17,7 +17,7 @@
($\anormOp$ \defii{separates}{points}).
\end{enumerate}
We call the pair $\mvstructure{\cV,\anormOp}$ a \defiii{normed}{vector}{space} with
\defi{norm} $\anormOp$
\trefi{norm} $\anormOp$
\end{definition}
\end{mhmodnl}
%%% Local Variables:
......
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