Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsuccI1 with
u21
,
u3
.
The subproof is completed by applying unknownprop_91430754532be38612b4a09377cc780402b9a3c00327b2d435070dbbec3a03b1.
■