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