Proofgold Term Root Disambiguation

λ x0 x1 . f482f.. (f482f.. x0 x1)

as obj
e3162..

as prop
-

theory
HoTg

stx
e27bb..

address
TMPBx..