Theorem rank_matrix

Modification history