Theorem LinearMap.toMatrixₛₗ₂'_symm

Modification history