Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . ∀ x1 : ο . (∀ x2 . and (and (and (prim1 x0 x2) (∀ x3 x4 . prim1 x3 x2Subq x4 x3prim1 x4 x2)) (∀ x3 . prim1 x3 x2∀ x4 : ο . (∀ x5 . and (prim1 x5 x2) (∀ x6 . Subq x6 x3prim1 x6 x5)x4)x4)) (∀ x3 . Subq x3 x2or (c2e41.. x3 x2) (prim1 x3 x2))x1)x1
as obj
-
as prop
adb47..
theory
HoTg
stx
f69d8..
address
TMaBg..