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