Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 . (∀ x3 . prim1 x3 x0iff (prim1 x3 x1) (prim1 x3 x2))SNoEq_ x0 x1 x2
type
prop
theory
HoTg
name
SNoEq_I
proof
PURFE..
Megalodon
-
proofgold address
TMcCY..
creator
2815 PrGxv../2264f..
owner
2815 PrGxv../2264f..
term root
a718b..