Theorem rank_matrix_module'

Modification history