Original proof,exposition,examples,solutions,diagrams and reproduction code:CC0 1.0.
https://creativecommons.org/publicdomain/zero/1.0/
The included proper-convolution selection retains its credited original programme authorship and CC0 1.0 terms. Other linked components retain their stated terms. DejaVu fonts retain the accompanying notice.