Start=Quotientengarbe

MDLUL/Quotientengarbe

Ziel=Garbe/Gruppen/Untergarbe/Quotientengarbe/Definition