Linear algebra (Osnabrück 2024-2025)/Linear system/Superposition principle/Fact/Factreferencenumber

Theorem 5.13