Equality of row rank and column rank (source code)

= Equality of row rank and column rank

For the map represented by a matrix $A$, column rank is the rank of the map and row rank is the rank of its dual. Since the dual map has kernel equal to the annihilator of the original image, rank-nullity gives equal ranks.