Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsucc_inj_contra with
u10
,
0
.
The subproof is completed by applying unknownprop_871e92d1e015b90191f05be741b9ed2cc4491066cf0bf7b2d76c5d141ce801a4.
■