← elements / GEOMETOR • elements todos ← Prev Next → Codify Book I propositions¶ Implement initial codification of Book I propositions.