Proofgold Proposition

0 ∈ u19

type
prop

theory
HotG

name
-

proof
PURwL..

Megalodon
-

proofgold address
TMJno..

creator
31247 Pr4zB../9c974..

owner
31247 Pr4zB../9c974..

term root
93a9d..