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