Proofgold Term Root Disambiguation

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

as obj
4ae4a..

as prop
-

theory
HoTg

stx
c93a1..

address
TMau8..