Search for blocks/addresses/...
Proofgold Term Root Disambiguation
MetaCat_product_constr_p
8b17e..
BinRelnHom
struct_id
struct_comp
(
λ x0 x1 .
pack_r
0
(
λ x2 x3 .
False
)
)
(
λ x0 x1 .
0
)
(
λ x0 x1 .
0
)
(
λ x0 x1 x2 x3 x4 .
0
)
as obj
-
as prop
b2d5d..
theory
HotG
stx
d67ca..
address
TMQUE..