Linear algebra (Osnabrück 2024-2025)/Base change/Three bases/Composition/Fact/Factreferencenumber

Lemma 9.5