Original proof exposition, learner text, examples, exercise solutions,
figure scripts and original artwork in this lesson use CC0 1.0 Universal.

https://creativecommons.org/publicdomain/zero/1.0/

Human scholarly sources retain their own rights. Citation grants no right to
reproduce protected source text, pages, figures or media. No protected source
pages or images are included in this lesson packet.

The figure font retains its separate license; see DejaVu-font-license.txt.