Theorem Matrix.sum_elim_dotProduct_sum_elim

Modification history