Search for blocks/addresses/...
Proofgold Proof
pf
Let x0 of type
ο
be given.
Let x1 of type
ο
be given.
The subproof is completed by applying unknownprop_1c24d71501e8770c98a2a55ffc20efbf99a75199b54cab0238128ab64306e471 with
λ x2 x3 :
ο →
ο → ο
.
x2
x0
x1
.
■