The Rank Theorem (source code)

= The Rank Theorem
{c}

Online text: https://textbooks.math.gatech.edu/ila/rank-thm.html

Cited passages: Margalit and Rabinoff, Interactive Linear Algebra, §2.9, Rank Theorem: column count equals rank plus nullity.