Linear algebra (Osnabrück 2024-2025)/Group/Inverse element/Unique/Fact/Factreferencenumber

Lemma 3.2