Proofgold Proposition

∀ x0 x1 . tuple_p x0 x1 ⟶ ∀ x2 . In x2 x1 ⟶ ∃ x3 . and (In x3 x0) (∃ x5 . x2 = setsum x3 x5)

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..