Die folgenden Seiten verlinken auf „Übung vom 20. Mai 2020: Äquivalenz der beiden Definitionen zur Geradenspiegelung“: