Proofgold Proposition

∀ x0 x1 x2 . In x2 (setexp x1 x0) ⟶ ∀ x3 . In x3 x0 ⟶ In (ap x2 x3) x1

type
prop

theory
HF

name
-

proof
PUZkx..

Megalodon
ap_setexp

proofgold address
TMTra..^ap_setexp

creator
2364 PrGxv../268f8..

owner
2364 PrGxv../268f8..

term root
0850c..