Proofgold Proposition

∀ x0 . not (Inj1 x0 = 0)

type
prop

theory
HF

name
-

proof
PUQAi..

Megalodon
Inj1NE1

proofgold address
TMTja..^Inj1NE1

creator
1476 PrGxv../44882..

owner
1476 PrGxv../44882..

term root
b4b5c..