Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 x1 . and (and (∀ x2 . prim1 x2 x080242.. x2) (∀ x2 . prim1 x2 x180242.. x2)) (∀ x2 . prim1 x2 x0∀ x3 . prim1 x3 x1099f3.. x2 x3)
as obj
02b90..
as prop
-
theory
HoTg
stx
38a69..
address
TMF5a..