Original exposition, proofs, examples, solutions, diagrams and reproduction code: CC0 1.0.
https://creativecommons.org/publicdomain/zero/1.0/
Linked programme proofs retain their actual credited component terms, including GNU FDL terms for the linked smooth constructions. The linked Boman article retains its actual publisher terms and is not redistributed here. DejaVu fonts retain the accompanying licence.