Linear algebra (Osnabrück 2024-2025)/Endomorphismus/Finite dimensional/Change of basis/Fact/Factreferencenumber

Corollary 11.12