Original proof exposition, examples, solutions, diagrams and reproduction code are dedicated to the public domain under CC0 1.0.
https://creativecommons.org/publicdomain/zero/1.0/
The linked prerequisite texts retain their original CC0 notices and provenance. DejaVu fonts retain the accompanying font licence.