The Rank Theorem
ID: interactive-linear-algebra-by-dan-margalit-and-others/the-rank-theorem
Online text: 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.
New to topics? Read the docs here!