Proofgold Proposition

∀ x0 . (∀ x1 . In x1 x0 ⟶ and (setsum_p x1) (In (ap x1 0) 2)) ⟶ setsum_p x0

type
prop

theory
HF

name
-

proof
PUKA4..

Megalodon
setsum_p_I2

proofgold address
TMYDq..^setsum_p_I2

creator
1627 PrGxv../6a995..

owner
1627 PrGxv../6a995..

term root
d487a..