Registry · Remark V.R341 tau-effective not_applicable

V.R341 — Three routes, one G

Routes 1 and 3 to G are identical; consistency of Routes 1 and 2 is the content of the closing identity; they agree to 3 ppm.

Book V Part 8 Ch. 70

Lean Formalization

Module: