Zum Inhalt springen

Prädikatenlogik/Transitivität der Injektivität/Ableitung/Aufgabe