Kategorie:Theorie der Spur (Modulendomorphismus)/Fakten