Proofgold Proposition

∀ x0 x1 x2 . setsum 0 x2 ∈ setsum x0 x1 ⟶ x2 ∈ x0

type
prop

theory
HotG

name
pairE0

proof
PUMB7..

Megalodon
pairE0

proofgold address
TMLQ2..^pairE0

creator
4898 Pr6Pc../8665f..

owner
4898 Pr6Pc../8665f..

term root
042f3..