P
rojective_
G
eometry
Projective_Plane_Axioms
Pappus_Property
Pascal_Property
Desargues_Property
Pappus_Desargues
Higher_Projective_Space_Rank_Axioms
Matroid_Rank_Properties
Desargues_2D
Desargues_3D
Projective_Space_Axioms
Higher_Projective_Space_Axioms