Topic: Proof Strategies in Linear Algebra

Well-Defined Maps from Prescribed Generator Images

Verifying Linearity for Formula-Defined Maps

Unpacking Definitions Into Quantified Proof Goals

Uniqueness by Subtraction and Basis Values

The Subspace Test as a Closure Proof

Testing Universal Claims with Small Matrices

Rank-Nullity as a Proof Mechanism

Proving Spanning with Pivot and Coordinate Arguments

Proving Span Equality by Two Inclusions

Proving Intersections and Sums of Subspaces