Programmtransformationen (II)

Satz: (wenn map „richtig`` definiert ist, gilt:)



Johannes Waldmann 2011-01-18