chrisittner/transfinite-methoden-SS2013 — pull request #5 by kulla (2013-06-21 14:23:15+00:00)
Title: Typos

Anbei meine typo Korrekturen für den 13.06. Ich denke, dass die Definiton von Unabhängigkeit \forall b\in U: b \not\lhd U - {b} lauten muss (dass \not fehlte). Schau dir das nochmal an und korrigiere es ggf.