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