Proofgold Proposition

∀ x0 x1 . tuple_p x0 x1 ⟶ ∀ x2 . In x2 x1 ⟶ ∀ x3 : ο . (∀ x4 . and (In x4 x0) (∀ x5 : ο . (∀ x6 . x2 = setsum x4 x6 ⟶ x5) ⟶ x5) ⟶ x3) ⟶ x3

type
prop

theory
HF

name
-

proof
PUXHR..

Megalodon
tuple_p_E

proofgold address
TMQk6..^tuple_p_E

creator
2279 PrGxv../a024e..

owner
2279 PrGxv../a024e..

term root
4878d..