Registry · Remark V.R353 tau-effective not_applicable

V.R353 — Scope: partially conjectural (E5)

Items (i)-(ii) of E5 are tau-effective; item (iii) information preservation is conjectural at higher orders.

Book V Part 8 Ch. 72

Lean Formalization

Module: