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