A calculus of the absurd

20.8 Inner product spaces

TODO

20.8.1 Inner products