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