Search for blocks/addresses/...
Proofgold Proof
pf
Apply unknownprop_e2fb61ffd42f1e1333bb283858fc373cb4d96748d71c4a06eee437d16c47868c with
12
.
The subproof is completed by applying nat_12.
■