Proofgold Proposition

∀ x0 x1 x2 . In x2 (lam x0 (λ x3 . x1)) ⟶ In x2 (setprod x0 x1)

type
prop

theory
HF

name
-

proof
PUZkx..

Megalodon
setprod_I

proofgold address
TMPLa..^setprod_I

creator
2364 PrGxv../b2c7d..

owner
2364 PrGxv../b2c7d..

term root
45b64..