Proofgold Proposition

add_nat 41 9 = 50

type
prop

theory
HotG

name
-

proof
PUfc5..

Megalodon
-

proofgold address
TMdtF..

creator
15574 Pr4zB../13d4e..

owner
15574 Pr4zB../13d4e..

term root
4bc4e..