Mathematics for Applied Sciences (Osnabrück 2023-2024)/Linear mapping/Finite dimensional/Change of basis/Fact/Factreferencenumber