Search for blocks/addresses/...
Proofgold Proof
pf
Apply nat_0_in_ordsucc with
u23
.
The subproof is completed by applying unknownprop_5a2415de7ce4ff7700953952ab57e066439372e1e8be58d2e9591f8d16f23b1d.
■