Lemma 20 with explicit witnesses: R F_s = 2^{2dα²} B₀ Q F_t A with A = tensCLM (kerA M.A) and B₀ = tensCLM…

Initializing...

Lemma 20 with explicit witnesses: R F_s = 2^{2dα²} B₀ Q F_t A with A = tensCLM (kerA M.A) and B₀ = tensCLM… · Prove2Me