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