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