Proofgold Proposition

setsum 1 0 = 1

type
prop

theory
HotG

name
setsum_1_0_1

proof
PUMB7..

Megalodon
setsum_1_0_1

proofgold address
TMGKX..^setsum_1_0_1

creator
4898 Pr6Pc../032d8..

owner
4898 Pr6Pc../032d8..

term root
c2107..