Theorem Matrix.algebraMap_matrix_apply

Modification history