Proofgold Proposition

add_nat 99 41 = 140

type
prop

theory
HotG

name
-

proof
PUZeu..

Megalodon
-

proofgold address
TMR13..

creator
15602 Pr4zB../4997c..

owner
15602 Pr4zB../4997c..

term root
88f2c..