Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . 80242.. x0∀ x1 : ο . (∀ x2 x3 . 02b90.. x2 x3(∀ x4 . prim1 x4 x2prim1 (e4431.. x4) (e4431.. x0))(∀ x4 . prim1 x4 x3prim1 (e4431.. x4) (e4431.. x0))x0 = 02a50.. x2 x3x1)x1
as obj
-
as prop
75c45..
theory
HoTg
stx
38a69..
address
TMTUh..