Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 . prim1 x2 (aae7a.. x0 x1)or (∀ x3 : ο . (∀ x4 . and (prim1 x4 x0) (x2 = f6917.. x4)x3)x3) (∀ x3 : ο . (∀ x4 . and (prim1 x4 x1) (x2 = 09364.. x4)x3)x3)
as obj
-
as prop
757ca..
theory
HoTg
stx
3d651..
address
TMVe6..