Solution (source code)

= Solution

The $m$ columns of $L$ form a <basis> of $\ker A^\top$, so that <null space> has <dimension> $m$. The <rank-nullity theorem> applied to $A^\top:\mathbb R^n\to\mathbb R^n$ gives $\operatorname{rank}A^\top=n-m$. A <matrix> and its <transpose> have equal <matrix rank>, hence
$$
\boxed{\operatorname{rank}A=n-m.}
$$