Bilinear form Dual basis Let be a nondegenerate finite-dimensional quadratic space. Given a basis , the dual basis is a unique basis defined by #m/def/linalg Proof of existence and uniqueness#missing/proof #state/develop | #lang/en | #SemBr