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