Registry · Remark V.R334 tau-effective not_applicable

V.R334 — Alfven mode existence decidability

At each finite stage n, Alfven mode existence is decidable via finite comparison in the boundary holonomy algebra.

Book V Part 4 Ch. 32

Lean Formalization

Module: