New finite projective line and new implementation of CosetPos#149

grahamknockillaree merged 2 commits intogap-packages:mastergap-packages/hap:masterfrom

giuliao27:new-finite-projective-linegiuliao27/hap:new-finite-projective-lineCopy head branch name to clipboard