Proofgold Term Root Disambiguation

λ x0 . a4c2a.. x0 (λ x1 . ∃ x2 . f6917.. x2 = x1) 158d3..

as obj
e76d4..

as prop
-

theory
HoTg

stx
3d651..

address
TMcrT..