Proofgold Term Root Disambiguation

λ x0 : ι → ι → ο . 8e91b.. (051a7.. (λ x1 x2 . or (x0 x1 x2) (1ca3e.. x1 x2)))

as obj
d3ec1..

as prop
-

theory
HOAS

stx
64e99..

address
TMRfJ..