Proofgold Term Root Disambiguation

b3303.. (λ x0 . λ x1 : ι → ι . 02a50.. (94f9e.. (5246e.. x0) x1) (94f9e.. (23e07.. x0) x1))

as obj
f4dc0..

as prop
-

theory
HoTg

stx
ab965..

address
TMG3J..