Linear algebra (Osnabrück 2024-2025)/Ring/Basic properties/Fact/Factreferencenumber

Lemma 3.5