Linear algebra (Osnabrück 2024-2025)/Linear mapping/Matrix to bases/Correspondence/Fact/Factreferencenumber

Theorem 10.15