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