Registry · Definition VII.D28 tau-effective formalized

VII.D28 — Derived Geometry

Metric, dimension, topology are derived from generators, not postulated; space is relational structure of contents.

Book VII Part 2 Ch. 20

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.DerivedGeometry