Theorem LinearMap.BilinForm.nondegenerate_toMatrix_iff

Modification history