add lecture notes

5 lat temu · a65678b607
--- a/ws2020/algebra/lectures/notes.xopp
+++ b/ws2020/algebra/lectures/notes.xopp
--- a/ws2020/theo/uebungen/vl17.xopp
+++ b/ws2020/theo/uebungen/vl17.xopp