Commit e9f302d1 authored by Michael Kohlhase's avatar Michael Kohlhase

draining

parent 8403c067
\begin{mhmodnl}[creators=miko,srccite=Rudin:fa73]{Heine-Borel}{de}
\begin{definition}
Wir sagen, dass ein \trefii[topological-vectorspace]{topologischer}{Vektorraum} die
Wir sagen, dass ein \mtrefii[topological-vectorspace?topological-vectorspace]{topologischer}{Vektorraum} die
\defii[name=Heine-Borel-property]{Heine-Borel}{Eigenschaft} hat, falls jede
\mtrefi[open-set-topology?closed]{abgeschlossen}e und
\mtrefi[bounded-topvr?bounded]{beschr"ankt}e Teilmenge seiner
......
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