Registry · Remark
VII.R07
tau-effective
not_applicable
VII.R07 — Geometry as Consequence
Space is not a container but the relational structure of contents; geometry emerges from categorical structure.
Lean Formalization
Module: TauLib.BookVII.Meta.Registers
Symbol: