Registry · Definition IV.D20 tau-effective formalized

IV.D20 — Mass Index

Mass index: inertial invariant of persistent T² defect bundle. Boundary fixed-point of coherence functional. Monotone under admissible evolution.

Book IV Part 2 Ch. 6

Dependency Graph

Depends on (2)

IV.D10 IV.D12

Depended on by (3)

IV.D23 IV.D78 IV.R04

Lean Formalization

Module: TauLib.BookIV.Physics.MassEnergy

Symbol: Tau.BookIV.Physics.MassIndex