Proofgold Proposition

0 ∈ u18

type
prop

theory
HotG

name
-

proof
PURwL..

Megalodon
-

proofgold address
TMLwX..

creator
31247 Pr4zB../5c18b..

owner
31247 Pr4zB../5c18b..

term root
507b8..