Coming soon

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

Planned coverage: The invariant Haar measure on compact groups and unitary t-designs.