Theorem Matrix.toCols₁_apply

Modification history