Mirsky's theorem (source code)

= Mirsky's theorem
{wiki=Mirsky's_theorem}

Mirsky's theorem is a result in the field of linear algebra and matrix theory that pertains to the relationship between the rank of a matrix and the ranks of its associated matrices.