Registry · Definition IV.D11 tau-effective formalized

IV.D11 — Physical Quantity Template

Physical quantity template: name, primary invariant, carrier type, governing sector, σ-fixed flag, conservation flag. All 5 canonical quantities instantiated.

Book IV Part 2 Ch. 3

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Physics.QuantityFramework

Symbol: Tau.BookIV.Physics.PhysicalQuantity