Proofgold Proposition

setsum 0 0 = 0

type
prop

theory
HF

name
-

proof
PUaiy..

Megalodon
pair_0_0

proofgold address
TMbjT..^pair_0_0

creator
1504 PrGxv../f6566..

owner
1504 PrGxv../f6566..

term root
92e9d..