Registry · Definition IV.D261 tau-effective formalized

IV.D261 — Physical-constants core

The physical-constants core C_phys = Q(iota_tau) is the closure of the master constant iota_tau = 2/(pi + e) under field operations and sector lifts. Every physical constant is an element of C_phys. This is a single-generator field extension over the rationals.

Book IV Part 1 Ch. 5

Lean Formalization

Module: TauLib.BookIV.Arena.BoundaryHolonomy

Symbol: Tau.BookIV.Arena.PhysicalconstantsCore