In Theorem NF's setting, the f ∈ W with h f ∈ W, h = p(u)/q(u) the ratio of the configuration, form exactly x₀·span(y), of dimension 3

Initializing...

In Theorem NF's setting, the f ∈ W with h f ∈ W, h = p(u)/q(u) the ratio of the configuration, form exactly x₀·span(y), of dimension 3 · Prove2Me