Library ProjectiveGeometry.Space.desargues2Dlemmas2

Library ProjectiveGeometry.Space.projective_space_axioms

Library ProjectiveGeometry.Space.desargues3D

Library ProjectiveGeometry.Space.desargues2D

Library ProjectiveGeometry.Space.matroids_properties

Library ProjectiveGeometry.Space.basic_facts

Library ProjectiveGeometry.Space.desarguesxD

Library ProjectiveGeometry.Space.desargues2Dmore

Library ProjectiveGeometry.Space.projective_space_rank_to_projective_space

Library ProjectiveGeometry.Space.desargues3Dspecial

Library ProjectiveGeometry.Space.desargues2Dlemmas3

Library ProjectiveGeometry.Space.rank_properties

Library ProjectiveGeometry.Space.sets_of_points

Library ProjectiveGeometry.Space.projective_space_rank_axioms

Library ProjectiveGeometry.Space.desargues2Dlemmas

Library ProjectiveGeometry.Space.matroid_to_matroid_p

Library ProjectiveGeometry.Space.matroids_axioms

Library ProjectiveGeometry.Space.desargues3Dlemmas

Library ProjectiveGeometry.Plane.projective_plane_duality

Library ProjectiveGeometry.Plane.projective_plane_to_Heyting_projective_plane

Library ProjectiveGeometry.Plane.Heyting_projective_plane_axioms

Library ProjectiveGeometry.Plane.fano_plane_desargues

Library ProjectiveGeometry.Plane.fano_plane

Library ProjectiveGeometry.Plane.hexamys_desargues

Library ProjectiveGeometry.Plane.hexamys

Library ProjectiveGeometry.Plane.P14_pseudo_midpoint

Library ProjectiveGeometry.Plane.P12_aeolian

Library ProjectiveGeometry.Plane.P11_chasles

Library ProjectiveGeometry.Plane.P10_complete_quadrilateral_2

Library ProjectiveGeometry.Plane.P09_complete_quadrilateral

Library ProjectiveGeometry.Plane.P08_cevian_lines_2

Library ProjectiveGeometry.Plane.P07_cevian_lines

Library ProjectiveGeometry.Plane.P06_angle_line

Library ProjectiveGeometry.Plane.P05_almost_pappus

Library ProjectiveGeometry.Plane.examples

Library ProjectiveGeometry.Plane.bij

Library ProjectiveGeometry.Plane.homogeneous

Library ProjectiveGeometry.Plane.projective_plane_inst

Library ProjectiveGeometry.Plane.basic_facts_plane

Library ProjectiveGeometry.Plane.forth

Library ProjectiveGeometry.Plane.pg25

Library ProjectiveGeometry.Plane.moulton

Library ProjectiveGeometry.Plane.flat

Library ProjectiveGeometry.Plane.decidability

Library ProjectiveGeometry.Plane.projective_plane_axioms

Library ProjectiveGeometry.Plane.back

Library ProjectiveGeometry.field_variable_isolation_tactic

Library ProjectiveGeometry.general_tactics