Theorem Matrix.toLinearMap₂'_toMatrix'

Modification history