Proof step e-05e5d91dd5b215be

definition_equality → concludes about basis_map_A007318 of Generalized Narayana numbers, T(n, k) = 3/(n + 1)*binomial(n + 1, k + 2)*binomial(n + 1, k - 1), triangular array read by rows. 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 162043e20d91fea4ba2676112a3480315fbbdaae3d4330705af0721cd8042b10, 17,301 bytes (4,259 compressed); download JSON