Theorem Matrix.rank_eq_finrank_span_cols

Modification history