Proofgold Proposition

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

type
prop

theory
HotG

name
Inj1NE2

proof
PUMB7..

Megalodon
Inj1NE2

proofgold address
TMdfQ..^Inj1NE2

creator
4898 Pr6Pc../2044e..

owner
4898 Pr6Pc../2044e..

term root
9e94b..