Proofgold Term Root Disambiguation

λ x0 x1 : ι → ι . λ x2 . True

as obj
6ce64..

as prop
-

theory
HoTg

stx
336f4..

address
TMPFt..