Registry · Remark
V.R491
framework
not_formalized
V.R491 — Tarski Euclidean axioms and emergent curvature
Tarski Euclidean axioms: curvature as output, not input
Tarski Euclidean axioms: curvature as output, not input