Nondegenerate inner product proof

Printable View