Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . ∀ x2 : ι → ι → ι . ∀ x3 . In x3 (lam2 x0 x1 x2) ⟶ ∃ x4 . and (In x4 x0) (∃ x6 . and (In x6 (x1 x4)) (∃ x8 . and (In x8 (x2 x4 x6)) (x3 = setsum x4 (setsum x6 x8))))

type
prop

theory
HF

name
-

proof
PUXHR..

Megalodon
lam2_E

proofgold address
TMPH9..^lam2_E

creator
2279 PrGxv../aad50..

owner
2279 PrGxv../aad50..

term root
dd3c2..