Kurs:Lineare Algebra (Osnabrück 2024-2025)/Gruppentheorie/Äquivalenz zu Untergruppe/Definition/Definitionreferenznummer