Theorem LinearMap.isSymm_def

Modification history