2020-04-11 Nicht ganz so gute Beweise
2020-04-11 Baby Rudin - Notes on example 7.6