Registry · Theorem V.T90 tau-effective formalized

V.T90 — Jet Collimation Theorem

The jet opening half-angle satisfies sin(theta_jet) <= r/R = iota_tau ~ 0.3415, giving theta_jet <= 20 degrees. The bound arises from the torus geometry: trajectories within the jet channel must fit inside the torus hole.

Book V Part 5 Ch. 40

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.AccretionJets

Symbol: Tau.BookV.Astrophysics.JetCollimationTheorem