Proofgold Proposition

1 = Sing 0

type
prop

theory
HotG

name
eq_1_Sing0

proof
PUMB7..

Megalodon
eq_1_Sing0

proofgold address
TMJZ4..^eq_1_Sing0

creator
4898 Pr6Pc../6a072..

owner
4898 Pr6Pc../6a072..

term root
5e599..