Proofgold Term Root Disambiguation

λ x0 : ι → ο . 8e91b.. (4b3e1.. x0)

as obj
316b1..

as prop
-

theory
HOAS

stx
e4836..

address
TMaZm..