Theorem LinearMap.toMatrixₛₗ₂'_apply

Modification history