Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 x1 . 569d0.. (2f282.. x0) (e6316.. (2f282.. (bc82c.. x0 (f4dc0.. x1))) (2f282.. x1))
as obj
5c14e..
as prop
-
theory
HoTg
stx
f96db..
address
TMXbM..