Theorem inner_matrix_col_col

Modification history