Registry · Remark IV.R171 tau-effective not_applicable

IV.R171 — Viscosity coefficient eta_tau

The tau-viscosity eta_tau is not a free parameter but is determined by the defect-functional geometry of the mobility-excess surface; through the readout functor R_mu it maps to the classical kinematic viscosity at the appropriate scale.

Book IV Part 7 Ch. 53

Lean Formalization

Module:

Symbol: