Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUZkx..

Megalodon
setprod_E

proofgold address
TMZbz..^setprod_E

creator
2364 PrGxv../74992..

owner
2364 PrGxv../74992..

term root
da87c..