Mic92/Algebra-I — Issue #11: Herleitung zu #Surj(A,B) überprüfen
Author: chaosbastler
Created: 2011-11-26 11:28:05+00:00
State: open

Jemand sollte mal die Herleitung im Branch "etwas_umfangreicher_beweis" bitte mit seinen Aufzeichnungen vergleichen und dann wieder mit master mergen.
Danke