trinomial_support — Mathlib

English

If k < m and m < n and u ≠ 0 and v ≠ 0 and w ≠ 0, then the support of trinomial(k, m, n, u, v, w) is precisely {k, m, n}.

Русский

Пусть k < m, m < n, u ≠ 0, v ≠ 0 и w ≠ 0. Тогда опора trinomial(k, m, n, u, v, w) равна точному множеству {k, m, n}.

LaTeX

$$$\\operatorname{supp}\\left(\\operatorname{trinomial}(k,m,n,u,v,w)\\right) = \\{k, m, n\\}$$$

Lean4

theorem trinomial_support (hkm : k < m) (hmn : m < n) (hu : u ≠ 0) (hv : v ≠ 0) (hw : w ≠ 0) :
    (trinomial k m n u v w).support = { k, m, n } :=
  support_trinomial hkm hmn hu hv hw

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