Mathematics for Applied Sciences (Osnabrück 2023-2024)/Linear mapping/Matrix to basis/Several properties/Fact/Factreferencenumber

Lemma 25.11