Proofgold Proposition

setsum 1 0 = 1

type
prop

theory
HF

name
-

proof
PUaiy..

Megalodon
pair_1_0_1

proofgold address
TMKBS..^pair_1_0_1

creator
1504 PrGxv../e0ec9..

owner
1504 PrGxv../e0ec9..

term root
32abc..