Proofgold Term Root Disambiguation

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

as obj
13ace..

as prop
-

theory
HOAS

stx
64e99..

address
TMVYd..