Search for blocks/addresses/...
Proofgold Term Root Disambiguation
(
λ x1 x2 : ο .
x1
⟶
x2
)
=
λ x1 : ο .
or
(
not
x1
)
as obj
-
as prop
29f7a..
theory
HoTg
stx
7cde0..
address
TMFQ6..
eq_imp_or