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