Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsucc_inj_contra with
u16
,
0
.
The subproof is completed by applying unknownprop_60f83cb2d5e8fad8ed3c2af8b6c5009dbe5ca939fa34d10ed5528a8ef488fb1c.
■