Theorem Matrix.sum_apply

Modification history