Proofgold Proposition

tuple_p = λ x1 x2 . ∀ x3 . In x3 x2 ⟶ ∃ x4 . and (In x4 x1) (∃ x6 . x3 = setsum x4 x6)

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
tuple_p_def

proofgold address
-

creator

owner

term root
2c926..