Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsuccI1 with
u20
,
u4
.
The subproof is completed by applying unknownprop_c388f1343241ecf3a640c8a9b34e44f072ce8169a260b4c7814aec0be20ade70.
■