Proofgold Term Root Disambiguation

λ x0 x1 : ι → ι → ο . λ x2 . or (6fe8d.. x0 x1 5c39b.. x2 6915e..) (6fe8d.. x0 x1 5c39b.. x2 32d20..)

as obj
d478c..

as prop
-

theory
HOAS

stx
64e99..

address
TMc3N..