Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . 02b90.. x0 x1∀ x2 . 80242.. x2(∀ x3 . prim1 x3 x0099f3.. x3 x2)(∀ x3 . prim1 x3 x1099f3.. x2 x3)and (Subq (e4431.. (02a50.. x0 x1)) (e4431.. x2)) (SNoEq_ (e4431.. (02a50.. x0 x1)) (02a50.. x0 x1) x2)
as obj
-
as prop
c1313..
theory
HoTg
stx
38a69..
address
TMGeT..