Proofgold Term Root Disambiguation

λ x0 : ι → ι → ο . and (4b2cb.. x0) (x0 90dd1.. ae6de..)

as obj
17cd1..

as prop
-

theory
HOAS

stx
ca535..

address
TMUh9..