Search for blocks/addresses/...
Proofgold Proof
pf
Let x0 of type
ι
→
ο
be given.
The subproof is completed by applying unknownprop_9b00f7e053c67cbe556654d38e4b6ba6c6ff912df0e3574255f01f5be06e095b with
4b3e1..
x0
.
■