Proofgold Proposition

0 ∈ u17

type
prop

theory
HotG

name
-

proof
PUMc8..

Megalodon
-

proofgold address
TMYT4..

creator
19014 Pr4zB../e49d3..

owner
19014 Pr4zB../e49d3..

term root
9851d..