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