Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . ∀ x1 : ι → ο . ∀ x2 : ι → ι . ∀ x3 . In x3 (ReplSep x0 x1 x2)∀ x4 : ο . (∀ x5 . and (and (In x5 x0) (x1 x5)) (x3 = x2 x5)x4)x4
type
prop
theory
HF
name
-
proof
PUZM3..
Megalodon
ReplSepE
proofgold address
TMNeB..ReplSepE
creator
1446 PrGxv../34264..
owner
1446 PrGxv../34264..
term root
b73fc..