Inner Products are Linear in their first argument
TODO - Uses Linear Operators, how to phrase this? This is just a axiom of Inner Products, but it is useful in its own right.
Search
TODO - Uses Linear Operators, how to phrase this? This is just a axiom of Inner Products, but it is useful in its own right.