Proofgold Proposition

add_SNo 4 3 = 7

type
prop

theory
HotG

name
add_SNo_4_3

proof
PULfh..

Megalodon
add_SNo_4_3

proofgold address
TMGU8..^add_SNo_4_3

creator
16612 PrGxv../e8a9f..

owner
16612 PrGxv../e8a9f..

term root
4600f..