Search for blocks/addresses/...

Proofgold Proof

pf
Let x0 of type ιο be given.
Let x1 of type ιο be given.
Assume H0: d97e3.. x0 x1.
Apply unknownprop_2da2b30cc490d00aa520503477db4055f9915e53389bb7c4e90a928c2e1bee3f with x0, 407b5.. x1.
The subproof is completed by applying H0.