Theorem LinearMap.BilinForm.isSymm_zero

Modification history