Proofgold Proposition

17 ∈ 32

type
prop

theory
HotG

name
-

proof
PUZxi..

Megalodon
-

proofgold address
TMMuB..

creator
15396 Pr4zB../0c0ae..

owner
15396 Pr4zB../0c0ae..

term root
a88c8..