Theorem Matrix.toLinearMap₂_compl₁₂

Modification history