Search for blocks/addresses/...

Proofgold Proof

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