Proofgold Proposition

add_SNo 1 1 = 2

type
prop

theory
HotG

name
add_SNo_1_1_2

proof
PUfRQ..

Megalodon
add_SNo_1_1_2

proofgold address
TMd87..^{add_SNo_1_1_2}

creator
6761 Pr6Pc../f1298..

owner
6761 Pr6Pc../f1298..

term root
bbc44..