natDegree_Ψ₃_le

Mathlib.AlgebraicGeometry.EllipticCurve.DivisionPolynomial.Degree

URI: https://scilib.ai/kg/mathlib#WeierstrassCurve.natDegree_Ψ₃_le

English

The degree of Ψ₃ is at most 4.

Русский

Степень Ψ₃ не превосходит 4.

LaTeX

$$$ W.\\Ψ_3.natDegree \le 4 $$$

Lean4

theorem natDegree_Ψ₃_le : W.Ψ₃.natDegree ≤ 4 := by
  rw [Ψ₃]
  compute_degree

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

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru