Search for blocks/addresses/...
Proofgold Proof
pf
Apply unknownprop_b91672ef87db9f1f183ca0bec3d177e24552087c0e2239281cc5d11522d85a9b with
0
,
λ x0 x1 .
x1
=
0
.
The subproof is completed by applying unknownprop_25dcd37854379c500286034919edde76e517fd33657eb811d3ea3caad4445b57.
■