Proofgold Proposition

exp_nat 2 6 = 64

type
prop

theory
HotG

name
-

proof
PUfKL..

Megalodon
-

proofgold address
TMJwE..

creator
15546 Pr4zB../9f668..

owner
15546 Pr4zB../9f668..

term root
4d619..