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