Wanted

These notes are waiting for a formalization. If you have one, say so in the note's discussion; the owner can add you to the project, and your part is credited.

No public notes at the stage “Proof texts” yet.