Registry · Definition
IV.D34
tau-effective
formalized
IV.D34 — Planck Constant
Planck constant: h = M · L² · H. Coefficient 1, π⁰, exponents (1,2,1,0). τ-derived h ≈ 6.626 × 10⁻³⁴ J·s (0.00% match).
Dependency Graph
Depends on (1)
Depended on by (1)
Lean Formalization
Module: TauLib.BookIV.Calibration.DimensionalBridge
Symbol: Tau.BookIV.Calibration.h_formula