Search for blocks/addresses/...
Proofgold Proof
pf
Apply nat_ordsucc with
u54
.
The subproof is completed by applying unknownprop_d9e72f769287ef06d3c545a6db6d222e978eefd5e64ab643b207f867d82d449d.
■