File:MathFoundations140 Isometry groups of the projective line III