Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 : ι → ο . x0 5e331..(∀ x1 x2 . 74e69.. x1x0 x174e69.. x2x0 x2x0 (a3eb9.. x1 x2))(∀ x1 x2 . 74e69.. x1x0 x174e69.. x2x0 x2x0 (bf68c.. x1 x2))∀ x1 . 74e69.. x1x0 x1
as obj
-
as prop
facf7..
theory
HOAS
stx
cbccf..
address
TMTK5..