Theorem Matrix.toColumns₁_apply

Modification history