Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . 80242.. x0f4dc0.. x0 = 02a50.. (94f9e.. (5246e.. x0) f4dc0..) (94f9e.. (23e07.. x0) f4dc0..)
as obj
-
as prop
8810f..
theory
HoTg
stx
ab965..
address
TMWyA..