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