# Figure terms and reproduction

The original projection-section diagram, renderer and exact data are dedicated under CC0-1.0 to the extent of rights held. The DejaVu font components retain the terms reproduced in `FONT-LICENSE.txt`.

Run `python render.py` with Python 3 and Matplotlib to regenerate the PNG, editable-text SVG and JSON data. The coordinates, straight-line functions and areas are exact. The complete operator-valued and vector-valued assertions are proved in Sections 7–8 of the accompanying lesson; the image does not substitute a Bochner integral in the operator norm for the weak-star integral.

Human-source context is Masamichi Takesaki, *Theory of Operator Algebras II*, Chapter XII, Section 6. The displayed integration, topology and convolution assertions are proved in the accompanying lesson using the actual internal GRD, CP, FF, L24 and BC providers.