exists_variableChange_isCharNeTwoNF

English

There exists a coordinate change C such that the transformed curve (C • W) has characteristic not equal to two.

Русский

Существует преобразование координат C, после которого кривая (C • W) имеет характеристику, не равную двум.

LaTeX

$$$$ \exists C : VariableChange\; R,\ (C \; • \; W).IsCharNeTwoNF $$$$

Lean4

theorem exists_variableChange_isCharNeTwoNF : ∃ C : VariableChange R, (C • W).IsCharNeTwoNF :=
  ⟨_, W.toCharNeTwoNF_spec⟩

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