Original exposition, proofs, examples, solutions, diagrams and reproduction code: CC0 1.0.
https://creativecommons.org/publicdomain/zero/1.0/
Linked internal proofs retain their credited component terms. External papers and notes are references only; no publisher content is redistributed here. DejaVu fonts retain the accompanying licence.