Theorem LinearMap.isSymm_zero

Modification history