Proofgold Proposition

add_nat 17 2 = 19

type
prop

theory
HotG

name
-

proof
PUfnV..

Megalodon
-

proofgold address
TMKho..

creator
15418 Pr4zB../63619..

owner
15418 Pr4zB../63619..

term root
cddd0..