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