Proofgold Proposition

∀ x0 . nIn (Inj1 x0) (Sing 0)

type
prop

theory
HF

name
-

proof
PUQAi..

Megalodon
Inj1NE2

proofgold address
TMJGx..^Inj1NE2

creator
1476 PrGxv../f0cf8..

owner
1476 PrGxv../f0cf8..

term root
19d5e..