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