Linear algebra (Osnabrück 2024-2025)/Linear mapping/Matrix/Commutative diagram/Fact/Factreferencenumber

Lemma 10.14