Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUXHR..

Megalodon
tuple_p_I

proofgold address
TMKLK..^tuple_p_I

creator
2279 PrGxv../58253..

owner
2279 PrGxv../58253..

term root
0b195..