Theorem BilinForm.nondegenerate_toMatrix'_iff

Modification history