Zum Inhalt springen

MDLUL/isomorph (reelles Vektorbündel)