Proofgold Proposition

0 ∈ u22

type
prop

theory
HotG

name
-

proof
PUVbn..

Megalodon
-

proofgold address
TMY38..

creator
31263 Pr4zB../76bbe..

owner
31263 Pr4zB../76bbe..

term root
3c85a..