implement property based tests for chapter 3
Since we use those tests as implicit documentation of known theorems it is mandatory to
- either write small proofs as
\LaTeX
in the Docstring, see thepdoc3
for syntax examples - reference the according literature for the proofs, preferably freely accessible links. If it is not obvious that the link will be alive in a few years (think wikipedia/Wolfram's mathworld) please use the wayback machine