Proofgold Proposition

add_SNo 4 4 = 8

type
prop

theory
HotG

name
add_SNo_4_4

proof
PULfh..

Megalodon
add_SNo_4_4

proofgold address
TMSsx..^add_SNo_4_4

creator
16612 PrGxv../76ce1..

owner
16612 PrGxv../76ce1..

term root
925b5..