Expedition Gap§A-5

Path-connectivity of X

Closed

The Gap

Required for Polysemy-Holonomy theorem; proven under continuous manifold models.

Why It Matters

Discharged key conditional for Polysemy-Holonomy.

Expedition Status

Expedition:
Expedition One
Front:
Front A
Status:
PROVEN
Source:
frontier/expedition-one/gauge-bundle-of-meaning.md
Impact
high
Category
expedition