Theorem BilinForm.Nondegenerate.toMatrix

Modification history