Linear algebra (Osnabrück 2024-2025)/Multilinear mapping/Distributivity law/Fact/Factreferencenumber

Lemma 16.6