Theorem Basis.matrix_apply

Modification history