Library GeoCoq.main
This file imports all the GeoCoq library, except meta theory and highschool geometry
Require
Export
GeoCoq.Elements.Statements.Book_1
.
Require
Export
GeoCoq.Elements.Statements.Book_3
.