Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι → ο . (∀ x2 x3 x4 . x1 x2 x3x1 x2 x4x3 = x4)∃ x2 . ∀ x4 . iff (prim1 x4 x2) (∃ x5 . and (prim1 x5 x0) (x1 x5 x4))
type
prop
theory
HoTg
name
-
proof
PUgom..
Megalodon
-
proofgold address
TMW2R..
creator
1605 PrGxv../381a9..
owner
1605 PrGxv../381a9..
term root
aaea0..