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