Proofgold Proposition

setsum 1 1 = 2

type
prop

theory
HF

name
-

proof
PUaiy..

Megalodon
pair_1_1_2

proofgold address
TMFzi..^pair_1_1_2

creator
1504 PrGxv../039f9..

owner
1504 PrGxv../039f9..

term root
94862..