Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 . prim1 x2 (aae7a.. x0 x1)or (∃ x3 . and (prim1 x3 x0) (x2 = aae7a.. 4a7ef.. x3)) (∃ x3 . and (prim1 x3 x1) (x2 = aae7a.. (4ae4a.. 4a7ef..) x3))
as obj
-
as prop
2f64c..
theory
HoTg
stx
3d651..
address
TMPq3..