Registry · Remark II.R18 established not_applicable

II.R18 — BSD Bridge

Identifies four layers required for categorical BSD: (1) Central Theorem, (2) proto-rationality, (3) tau-L-functions via spectral forces (Book III), (4) force-theoretic rank computation (Book III).

Book II Part 10 Ch. 56

Dependency Graph

Depends on (2)

Lean Formalization

Module:

Symbol: