3 ms·
The axioms for a vector space and an inner product are exactly what you need to derive a full formal proof of all those.
by brazzy 6y ago
The axioms for a vector space and an inner product are exactly what you need to derive a full formal proof of all those.