https://9lib.net/document/eqope05z-determination-j-groups-complex-projective-lens-spaces.html