Theorem Matrix.toLinearMapₛₗ₂'_toMatrix'

Modification history