CCFU Proof 25 — Stability of Ω_W

2605255776212

CCFU Proof 25 — Stability of Ω_W

05/25/2026

Given.
dim GL(7) = 49. dim Λ³(R⁷) = C(7,3) = 35.
dim Stab = 14 [Proof 23].

    dim orbit = 49 − 14 = 35 = dim Λ³(R⁷).

Orbit is open. Ω_W is stable.  ∎

[Dependency: Proof 23.]