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