Theorem rank_matrix_module

Modification history