Proofgold Term Root Disambiguation

λ x0 : ι → ι → ο . λ x1 x2 . or (x0 x1 x2) (x1 = x2)

as obj
f9574..

as prop
-

theory
HoTg

stx
75b72..

address
TMT2h..^reflclos