Coming soon

This note is part of the notebook and is planned, but has not been written yet.

Planned coverage: The tensor product that builds composite-system state spaces.