The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Partial Trace
Consider .
Let be a basis for and be a basis for .
Then define by:
where is the Trace.
Note that this extends to all Linear Operators in by linearity.