Proofgold Proposition

add_nat 83 66 = 149

type
prop

theory
HotG

name
-

proof
PUXG8..

Megalodon
-

proofgold address
TMbHq..

creator
15597 Pr4zB../ffcc4..

owner
15597 Pr4zB../ffcc4..

term root
6ec1a..