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