Zum Inhalt springen

MDLUL/additiv (kovarianter Funktor)