Registry · Remark IV.R03 tau-effective formalized

IV.R03 — Physical Constants Core

C_phys = Q(ι_τ): all physical constants generated by single element ι_τ under field operations and sector lifts. Countably generated, all σ-fixed.

Book IV Part 2 Ch. 4

Dependency Graph

Depends on (1)

IV.D15

Lean Formalization

Module: TauLib.BookIV.Physics.PlanckCharacter

Symbol: Tau.BookIV.Physics.PhysicalConstantsCore