Proofgold Term Root Disambiguation

λ x0 x1 . or (prim1 x1 x0) (and (empty_p x0) (empty_p x1))

as obj
4326e..

as prop
-

theory
HoTg

stx
c37db..

address
TMN1g..