Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u16, u7. The subproof is completed by applying unknownprop_a0bdf0079e7b1581b89ab957e2cd7f488793d97d1d94621d3aa6a4fac9f22b96. ■