Proofgold Proposition

∀ x0 . ∀ x1 x2 : ι → ι . (∀ x3 . In x3 x0 ⟶ In (x2 x3) (x1 x3)) ⟶ In (lam x0 x2) (Pi x0 x1)

type
prop

theory
HF

name
-

proof
PUKA4..

Megalodon
lam_Pi

proofgold address
TMUh5..^lam_Pi

creator
1627 PrGxv../48a37..

owner
1627 PrGxv../48a37..

term root
ae7ff..