Programmtransformationen (II)

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



Johannes Waldmann 2012-06-25