Proofgold Proposition

lam2 = λ x1 . λ x2 : ι → ι . λ x3 : ι → ι → ι . lam x1 (λ x4 . lam (x2 x4) (x3 x4))

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
lam2_def

proofgold address
-

creator

owner

term root
bd19d..