Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . ∀ x2 : ι → ι → ι . ∀ x3 . In x3 x0 ⟶ ∀ x4 . In x4 (x1 x3) ⟶ ∀ x5 . In x5 (x2 x3 x4) ⟶ In (setsum x3 (setsum x4 x5)) (lam2 x0 x1 x2)

type
prop

theory
HF

name
-

proof
PUXHR..

Megalodon
lam2_I

proofgold address
TMYco..^lam2_I

creator
2279 PrGxv../50f3d..

owner
2279 PrGxv../50f3d..

term root
39730..