jonmsterling.com
this repo has no description
commits
Author
Commit
Message
Date
The previous version of this claimed a retraction, but in fact only
constructed a section. I will just construct both a section and a
retraction.
From Ian Ray.