Registry · Theorem IV.T265 tau-effective not_formalized

IV.T265 — Existence of Stable Modes

The tau3 fibration admits at least one stable, localised, holomorphic mode.

Book IV Part 1 Ch. 6

Dependency Graph

Depends on (1)

IV.D254