Proofgold Term Root Disambiguation

λ x0 x1 . 0ac37.. x0 (91630.. x1)

as obj
15418..

as prop
-

theory
HoTg

stx
7cde0..

address
TMXu6..