Proofgold Proposition

setsum 1 1 = 2

type
prop

theory
HotG

name
setsum_1_1_2

proof
PUMB7..

Megalodon
setsum_1_1_2

proofgold address
TMH43..^setsum_1_1_2

creator
4898 Pr6Pc../0c050..

owner
4898 Pr6Pc../0c050..

term root
9c89c..