Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsucc_inj_contra with
u20
,
u3
.
The subproof is completed by applying unknownprop_30f1f82af278170c3ed53f12b42890b23ec31927a4144332729ee690d5df91fd.
■