Theorem LinearMap.BilinForm.isAlt_zero

Modification history