Kurs:Mathematik für Anwender/Reelle Analysis/Nullstellensatz/Fakt/Faktreferenznummer

Korollar 11.2 (Mathematik für Anwender (Osnabrück 2023-2024))