Registry · Definition III.D02 tau-effective not_applicable

III.D02 — Millennium-Problem Gluing Table

Each millennium problem provides a specific guarantee for global coherence of local Hartogs bulk projections: Poincaré (simply connected), RH (spectral purity), NS (regularity), YM (gap), Hodge (addressability), BSD (patch labeling), Langlands (commutativity), P vs NP (tractability).

Book III Part 0 Ch. 2

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module:

Symbol: