Proofgold Term Root Disambiguation

λ x0 . λ x1 : ι → ο . λ x2 . λ x3 : ι → ο . and (prim1 x2 x0) (40dde.. x2 x3 x0 x1)

as obj
7eb85..

as prop
-

theory
HoTg

stx
7f654..

address
TMEsB..