Non-degenerate bilinear form

Summary