multiplicity — Mathlib

English

If a,b are nonzero integers with certain coprimality and 3-adic conditions, then a^3+b^3 ≠ c^3.

Русский

При заданных условиях взаимной простоты и 3-адических условиях разрешение не существует.

LaTeX

$$$a^3+b^3 \neq c^3$ under appropriate coprimality and divisibility constraints$$

Lean4

/-- Given `S : Solution`, `S.multiplicity` is the multiplicity of `λ` in `S.c`, as a natural
number. -/
noncomputable def multiplicity :=
  S.toSolution'.multiplicity

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