Search for blocks/addresses/...
Proofgold Proof
pf
Apply nat_ordsucc with
u41
.
The subproof is completed by applying unknownprop_c2b569c4ea407208633a61660bb02890a0e91df6efa0f8aaeba9985b6978b990.
■