Proofgold Proposition

0 ∈ u20

type
prop

theory
HotG

name
-

proof
PURwL..

Megalodon
-

proofgold address
TMRzv..

creator
31247 Pr4zB../154ab..

owner
31247 Pr4zB../154ab..

term root
76ff0..