Proofgold Proposition

∀ x0 x1 . setsum_p x0 ⟶ In x0 x1 ⟶ In (ap x0 1) (ap x1 (ap x0 0))

type
prop

theory
HF

name
-

proof
PUKA4..

Megalodon
setsum_p_In_ap

proofgold address
TMJs9..^{setsum_p_In_ap}

creator
1627 PrGxv../69131..

owner
1627 PrGxv../69131..

term root
c49f4..