Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . 80242.. x0and (and (and (80242.. (f4dc0.. x0)) (∀ x1 . prim1 x1 (23e07.. x0)099f3.. (f4dc0.. x0) (f4dc0.. x1))) (∀ x1 . prim1 x1 (5246e.. x0)099f3.. (f4dc0.. x1) (f4dc0.. x0))) (02b90.. (94f9e.. (5246e.. x0) f4dc0..) (94f9e.. (23e07.. x0) f4dc0..))
as obj
-
as prop
2ffcf..
theory
HoTg
stx
ab965..
address
TMJBw..