Search for blocks/addresses/...
Proofgold Proof
pf
Apply CSNo_minus_CSNo with
1
.
The subproof is completed by applying unknownprop_33594f786441fb94cfa9c7be2034d88216fac0dbcbe9e223f18185e2cf6cb053.
■