Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . ∀ x2 . In x2 (lam x0 x1) ⟶ In (ap x2 0) x0

type
prop

theory
HF

name
-

proof
PUKA4..

Megalodon
ap0_Sigma

proofgold address
TMLhk..^ap0_Sigma

creator
1627 PrGxv../ba69f..

owner
1627 PrGxv../ba69f..

term root
1196a..