Search for blocks/addresses/...
Proofgold Proof
pf
Apply unknownprop_fbab5c5311ed298e907b93e9630cf1fbe57c4af2835203632281bf4158a62546 with
λ x0 .
x0
∈
prim6
0
.
The subproof is completed by applying unknownprop_1bcb0376aad766d016ee9f0693d3212cc24924141721dea50bf523c306096bab with
0
.
■