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