Search for blocks/addresses/...

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..