Quadratic formations (Ex)
From Manifold Atlas
This exercise is taken from [Ranicki2002, p. 318] and we use the notation found there.
Show that the graphs of --quadratic forms are precisely the Lagrangians of which are the direct complements of .