Proof step e-1f6958db57a4f791

definition_equality → concludes about basis_map_A007318 of A Riordan array of coordination sequences. 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 f3a79e75d1cb3a0a08874f1750ad17435e144ef84eebb03d4de4d082642ee218, 18,681 bytes (5,720 compressed); download JSON