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