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