Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsucc_inj_contra with
u19
,
u2
.
The subproof is completed by applying unknownprop_0a926f3257e3e75e3bae57ff1d33d9d41cd5be64bd452ae63bdcf3291db86460.
■