Proofgold Proposition

∀ x0 x1 . setsum_p (setsum x0 x1)

type
prop

theory
HF

name
-

proof
PUKA4..

Megalodon
setsum_p_I

proofgold address
TMaZw..^setsum_p_I

creator
1627 PrGxv../e68fd..

owner
1627 PrGxv../e68fd..

term root
f61cc..