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