Revision #3107 → #3616 · back to history
addedParallel class of lines5319e2f7112a
addedPlayfair's axiom339433df178a
addedGrassmannian generalization of projective spacesd6b3baf15af2
addedProjective linear group PGL23b37783a4af
addedSmallest 3-dimensional projective space PG(3,2)c7066a27810f