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