Proof step e-34496f1b474c1a7e

definition_equality → concludes about basis-map coefficients of Triangular array of generalized Narayana numbers: T(n, k) = 2*binomial(n + 1, k + 1)*binomial(n + 1, k - 1)/(n + 1). shifted by x -> … JSON

Theorem

Ore-algebra identity of two definitions polytool ?

Operation

All-n equality of two definitions

{
  "operation": "definition_equality"
}

Premises

None: this step is a direct theorem check.

Claims

Verification and certificate

• polytool: replayed (the certificate replayed when the step was written)
• Lean: not attempted
• certificate: definition_equality, SHA-256 8b5b921d87c5c66c4a82d19c80443049a3be01f0b288ef23791fdabafd55e633, 16,227 bytes (3,919 compressed); download JSON