initial commit of projective geometry notes
Add some lemmas and such