Theorem Matrix.toLinearMap₂_toMatrix₂

Modification history