exists_variableChange_isCharTwoNF

English

There exists a variable change C such that the transformed curve (C • W) is CharTwoNF.

Русский

Существуют переменная смены C такая, что преобразованная кривая (C • W) имеет CharTwoNF.

LaTeX

$$∃ C : WeierstrassCurve.VariableChange F, (C • W).IsCharTwoNF$$

Lean4

theorem exists_variableChange_isCharTwoNF : ∃ C : VariableChange F, (C • W).IsCharTwoNF := by
  classical exact ⟨_, W.toCharTwoNF_spec⟩

Похожие утверждения