Proofgold Term Root Disambiguation

λ x0 : ι → ι → ι → ι → ι → ι → ι . x0 0 u1 u2 u3 u4 u5

as obj
8b66f..

as prop
-

theory
HotG

stx
ddf6a..

address
TMExm..