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