Theorem describing the dimension of spaces associated to the block matrices of the extended reduced row echelon form of a matrix

Created over 8 years ago, updated 2 months ago