Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . ∀ x1 . x1x0prim4 x1x0
as obj
d2954..Power_closed
as prop
-
theory
HotG
stx
cde1e..
address
TMGEQ..Power_closed