coeff_Ψ₂Sq

Mathlib.AlgebraicGeometry.EllipticCurve.DivisionPolynomial.Degree

URI: https://scilib.ai/kg/mathlib#WeierstrassCurve.coeff_Ψ₂Sq

English

For a Weierstrass curve W over a commutative ring R, the coefficient of degree 3 in the polynomial Ψ₂Sq(W) is equal to 4.

Русский

Для кривой Вайерштрасса W над кольцом R коэффициент степени 3 полинома Ψ₂Sq(W) равен 4.

LaTeX

$$$ (W.\\\\Ψ₂Sq).coeff 3 = 4 $$$

Lean4

@[simp]
theorem coeff_Ψ₂Sq : W.Ψ₂Sq.coeff 3 = 4 := by
  rw [Ψ₂Sq]
  compute_degree!

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

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

Разделы

Аффилиация

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