Theorem LinearMap.BilinForm.Nondegenerate.ne_zero

Modification history