Linear algebra (Osnabrück 2024-2025)/Alternating mapping/Swap property/Fact/Factreferencenumber

Lemma 16.8