Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsucc_inj_contra with
u14
,
u8
.
The subproof is completed by applying unknownprop_9cd8c17074dbeec0fef19f04ec8a941cf429e15b37b6046a94fab0afa09de770.
■