Over K ≤ F, a 2×3 configuration in V₀ + Ku + Ku⁻¹, with V₀ ⊆ F and u transcendental over F, has its products in V₀

Initializing...

Over K ≤ F, a 2×3 configuration in V₀ + Ku + Ku⁻¹, with V₀ ⊆ F and u transcendental over F, has its products in V₀ · Prove2Me