Proofgold Proposition

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

type
prop

theory
HotG

name
pairI1

proof
PUMB7..

Megalodon
pairI1

proofgold address
TMM3o..^pairI1

creator
4898 Pr6Pc../6be4e..

owner
4898 Pr6Pc../6be4e..

term root
bdaab..