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