Linear algebra (Osnabrück 2024-2025)/Basis/Dual basis/Tautological lemma/Fact/Factreferencenumber

Lemma 14.13