Registry · Remark V.R447 tau-effective not_applicable

V.R447 — N5 She-Lévêque Falsification

Ch56 N5: ζ_p from τ³ dimensions (She-Lévêque). <1% agreement for p≤12. Falsifier: ζ_6 or ζ_8 deviates >3σ from S-L.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Lean Formalization

Module: