Registry · Definition IV.D32 tau-effective formalized

IV.D32 — Tau Physical Scale

Dimensional exponent vector M^a L^b H^c Q^d for τ-derived constants. With add (multiply quantities), scale (raise to power), zero (dimensionless). Foundation for structural identity proofs.

Book IV Part 2 Ch. 13

Dependency Graph

Depends on (1)

Depended on by (6)

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionalBridge

Symbol: Tau.BookIV.Calibration.DimExponents