Registry · Proposition V.P66 tau-effective formalized

V.P66 — Galactic Virial Theorem --- V.P30

A galaxy in relational coherence satisfies the tau-native virial theorem 2 K_eff + W_eff = 0, where K_eff includes the capacity gradient correction and W_eff is the effective potential energy.

Book V Part 5 Ch. 36

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.GalaxyRelational

Symbol: Tau.BookV.Astrophysics.GalacticVirialTheoremVp30