Proofgold Proposition

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

type
prop

theory
HotG

name
pairE1

proof
PUMB7..

Megalodon
pairE1

proofgold address
TMQge..^pairE1

creator
4898 Pr6Pc../2dc2f..

owner
4898 Pr6Pc../2dc2f..

term root
505cf..