Capture a definition, axiom, theorem, or observation and link it into the Euclid knowledge graph.
Optional: attach supporting materials.