Lemma 41: strengthening to a quasi-inverse

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.