Proofgold Proposition

∀ x0 . setsum_p x0 ⟶ ∀ x1 : ι → ο . (∀ x2 x3 . x1 (setsum x2 x3)) ⟶ x1 x0

type
prop

theory
HF

name
-

proof
PUKA4..

Megalodon
setsum_p_E

proofgold address
TMNM9..^setsum_p_E

creator
1627 PrGxv../87d3d..

owner
1627 PrGxv../87d3d..

term root
05a72..