Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsucc_inj_contra with
u20
,
u8
.
The subproof is completed by applying unknownprop_9b7253bd274e82a0ab8a76f06b1d2af1490a86965b12d700a55a77d6121ae00f.
■