Theorem rank_matrix''

Modification history