Linear algebra (Osnabrück 2024-2025)/Linear mapping/Matrix to basis/Several properties/Fact/Factreferencenumber

Lemma 12.5