Registry · Proposition V.P205 tau-effective not_formalized V.P205 — Jet B_z/B_phi at base --- V.P156 Ledger restatement: jet B_z/B_phi at base (V.P156) Book V Part 7 Ch. 64