Proofgold Term Root Disambiguation

λ x0 . 1216a.. (56ded.. (e4431.. x0)) (099f3.. x0)

as obj
5246e..

as prop
-

theory
HoTg

stx
38a69..

address
TMU88..