Theorem BilinForm.nondegenerate_toMatrix_iff

Modification history