Registry · Definition
VII.D29
tau-effective
formalized
VII.D29 — τ³ Philosophical Framing
Central arena as fibered product τ¹ ×_f T² organizes all phenomena; philosophical interpretation of the central object.
Lean Formalization
Module: TauLib.BookVII.Meta.Registers
Symbol: Tau.BookVII.Meta.Registers.PhilosophicalFraming