Search for blocks/addresses/...

Proofgold Proof

pf
Apply unknownprop_31dcb8d5525508863c1b21cc955e4d494ebb1701faf26ee1ff3607fb19489de7 with λ x0 . True. The subproof is completed by applying TrueI. ■