Proofgold Proposition

exp_nat 2 7 = 128

type
prop

theory
HotG

name
-

proof
PUfKL..

Megalodon
-

proofgold address
TMGWS..

creator
15546 Pr4zB../27219..

owner
15546 Pr4zB../27219..

term root
9e6f2..