Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsuccI1 with
u17
,
u11
.
The subproof is completed by applying unknownprop_fde6379bebd0b99b66d966901300c529916d83c8c1f209841f486bb2568cf012.
■