Theorem Matrix.toLinearMapₛₗ₂'_stdBasis

Modification history